makkai/src/ast.rs, branch main Type theory implementation https://git.l-3.space/makkai/atom/src/ast.rs?h=main 2026-05-07T12:34:30Z add complete lifted sets 2026-05-07T12:34:30Z tslil tslil@posteo.de 2026-05-07T10:50:06Z urn:sha1:8d9c0e5868b2a7fa22080f814357dcda69a10057 WiP 2026-05-06T19:40:27Z tslil tslil@posteo.de 2026-05-06T13:27:43Z urn:sha1:d682ad6bbb5547ffbcc19da90275ff43e4e03e20 address remaining TODO, fix issues with left-nesting for for and ext, add motivation blurb to the readme 2026-05-05T13:49:59Z tslil tslil@posteo.de 2026-05-05T10:15:07Z urn:sha1:89304b27ea81270684810c18d3315c9d399beaf9 working on fixing app, rework ast to have generics etc 2026-05-01T14:06:31Z tslil tslil@posteo.de 2026-05-01T11:36:24Z urn:sha1:0886a16d73145270e953b8c2e0a4452b518ea16e make parser more lenient, add the one simplex example, fix naming for records 2026-05-01T11:29:19Z tslil tslil@posteo.de 2026-05-01T10:59:10Z urn:sha1:8b540449755ca8e73feb88e708f22fd292ace610 wip case for instances 2026-04-30T16:30:22Z tslil tslil@posteo.de 2026-04-30T15:53:14Z urn:sha1:0f7efe7518b925d9688dad4c6f6e87f84015e2c1 wire in instance checking to the main checker 2026-04-29T13:12:10Z tslil tslil@posteo.de 2026-04-29T11:45:48Z urn:sha1:cafb3a62af10bb09f8489ba0ab07258a70a75664 update display methods to match grammar 2026-04-27T17:23:26Z tslil tslil@posteo.de 2026-04-27T17:22:17Z urn:sha1:f10835fa25667e380cc1931a3112d70c975c9959 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