makkai/src/checker.rs, branch main Type theory implementation https://git.l-3.space/makkai/atom/src/checker.rs?h=main 2026-05-07T18:34:47Z regression in WiP work to improve sets 2026-05-07T18:34:47Z tslil tslil@posteo.de 2026-05-07T18:25:08Z urn:sha1:77e215d06ac471dbbdbca3aaa2940f0c77580ac8 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 repair binding for nesting in for 2026-05-05T15:50:03Z tslil tslil@posteo.de 2026-05-05T15:39:43Z urn:sha1:9b3fe7ceb8aa0b0f174a17e6e13b5d325c974979 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 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 switch to references in many places for check_*, complete logic of Var case for App 2026-04-29T15:51:55Z tslil tslil@posteo.de 2026-04-29T15:36:13Z urn:sha1:79a612f4983d1f2b59c653fb0c21879eb191457e 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 snapshot of working through instances/singatures <> sets/elements 2026-04-28T16:07:32Z tslil tslil@posteo.de 2026-04-28T14:00:45Z urn:sha1:67e3285ae6c7b94adc1983dcff18a009455bc582