makkai/src/parser.rs, branch main Type theory implementation https://git.l-3.space/makkai/atom/src/parser.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 finish the implementation, we don't have motives so this is how it will have to stay 2026-05-07T10:18:31Z tslil tslil@posteo.de 2026-05-07T09:06:51Z urn:sha1:d14c744a1cff323f8a837ef620a93ee518c392a2 WiP 2026-05-06T19:40:27Z tslil tslil@posteo.de 2026-05-06T13:27:43Z urn:sha1:d682ad6bbb5547ffbcc19da90275ff43e4e03e20 don't use debug formatting for parser issues 2026-05-05T16:38:55Z tslil tslil@posteo.de 2026-05-05T15:50:27Z urn:sha1:fbb8835cb73fd51e130f4e319290eeb44eadfcf5 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 almost done 2026-05-04T17:26:43Z tslil tslil@posteo.de 2026-05-04T16:52:04Z urn:sha1:90e451893671ceebaa37fcb634b5d7a3f153ba70 wip on App again 2026-05-01T19:06:16Z tslil tslil@posteo.de 2026-05-01T14:23:23Z urn:sha1:3ce914fdc62923c92812037297aee64747a9867e 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