makkai/grammar.txt, branch main Type theory implementation https://git.l-3.space/makkai/atom/grammar.txt?h=main 2026-05-07T15:20:26Z grammar.txt is too difficult to maintain by hand anymore :( 2026-05-07T15:20:26Z tslil tslil@posteo.de 2026-05-07T15:20:25Z urn:sha1:ac0694074630f1308e44e42eb9bf0d228460fbf1 almost done 2026-05-04T17:26:43Z tslil tslil@posteo.de 2026-05-04T16:52:04Z urn:sha1:90e451893671ceebaa37fcb634b5d7a3f153ba70 fix parser bug, fix beta reduction for setcoerce, disambiguate set coerce in parser 2026-04-29T11:18:13Z tslil tslil@posteo.de 2026-04-29T09:56:16Z urn:sha1:651a67cb568d80e72f8c6a650b985991f4b129d8 flip to agda-like grammar, sets & signatures do not have dots in their fields, but applications of those do as do constructions 2026-04-27T17:20:24Z tslil tslil@posteo.de 2026-04-27T17:07:06Z urn:sha1:31de6d4406fa5663ecdbc1341521a61b86b13783 change the "claimed set" notation to "set-of" so that David isn't confused 2026-04-27T08:47:47Z tslil tslil@posteo.de 2026-04-27T08:46:17Z urn:sha1:f0906abd5aa3d9004b53454af92b44b3d908ec3c checking for injections, projections, rm vesitigial App 2026-04-24T08:36:19Z tslil tslil@posteo.de 2026-04-24T07:37:02Z urn:sha1:85f0f5bd9ba573ad288ed582399b37e126f598c9 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