makkai/src/main.rs, branch main Type theory implementation https://git.l-3.space/makkai/atom/src/main.rs?h=main 2026-05-04T17:26:43Z almost done 2026-05-04T17:26:43Z tslil tslil@posteo.de 2026-05-04T16:52:04Z urn:sha1:90e451893671ceebaa37fcb634b5d7a3f153ba70 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 add monotic counters, fix element binding case in app->for 2026-05-01T10:12:09Z tslil tslil@posteo.de 2026-05-01T09:56:10Z urn:sha1:8839959fd05a04f2d37461ab842d23107b104d20 wip case for instances 2026-04-30T16:30:22Z tslil tslil@posteo.de 2026-04-30T15:53:14Z urn:sha1:0f7efe7518b925d9688dad4c6f6e87f84015e2c1 fill in some more todos 2026-04-30T15:43:26Z tslil tslil@posteo.de 2026-04-30T14:55:11Z urn:sha1:d57f1d3c845220c741db73c1fada017a75b11992 lost track of what's going on 2026-04-30T14:53:57Z tslil tslil@posteo.de 2026-04-30T09:52:07Z urn:sha1:617f3931de77bd795a97331e7146eb10266af7e9 wip on App For 2026-04-29T20:53:17Z tslil tslil@posteo.de 2026-04-29T19:47:53Z urn:sha1:ece72d34809af0060d62e1841b1a76478db5a44a implement canonicalisation in case arms, work through first bit of app 2026-04-29T15:21:20Z tslil tslil@posteo.de 2026-04-29T13:18:12Z urn:sha1:87266db229c7f14527c85b06abcf074cf861f6f9 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