makkai/makkai.md, branch main Type theory implementation https://git.l-3.space/makkai/atom/makkai.md?h=main 2026-04-27T08:56:09Z Move type theory into readme 2026-04-27T08:56:09Z tslil tslil@posteo.de 2026-04-27T08:55:11Z urn:sha1:1b97296cb4e043ed6ba8e200bcfc36bd60e602a9 commit grammar, format code (macro sigh), add pretty printing of AST 2026-04-23T08:55:06Z tslil tslil@posteo.de 2026-04-23T07:40:24Z urn:sha1:037047d8e1104f668e8bb708690f7f90dcdccd1b Init 2026-04-23T07:13:04Z tslil tslil@posteo.de 2026-04-21T13:01:59Z urn:sha1:ae4ee8c9ffbce7917c2be0e9a9063a14ea230f06