leanet

Lean port of https://git.phial.org/d6/nanochat, unedited AI slop, somehow it just works™

Tested with https://git.sr.ht/~angelwood/picopico/ and https://git.quiltro.org/lobo/nanite

This project was edited by Aristotle.

To cite Aristotle: - Tag @Aristotle-Harmonic on GitHub PRs/issues - Add as co-author to commits:

Co-authored-by: Aristotle (Harmonic) <aristotle-harmonic@harmonic.fun>