makkai/src/checker_state.rs, branch main Type theory implementation https://git.l-3.space/makkai/atom/src/checker_state.rs?h=main 2026-05-08T09:53:51Z fix bug in project: we were not substituting into the looked up field set 2026-05-08T09:53:51Z tslil tslil@posteo.de 2026-05-08T09:36:46Z urn:sha1:a73c34fc2e6b2dbe3ba8f4466851b03d29c016d4 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 fixing ... 2026-05-06T21:42:00Z tslil tslil@posteo.de 2026-05-06T19:43:00Z urn:sha1:fb5ba7fb62f4ce75f307233d5ffb438243f353b6 WiP 2026-05-06T19:40:27Z tslil tslil@posteo.de 2026-05-06T13:27:43Z urn:sha1:d682ad6bbb5547ffbcc19da90275ff43e4e03e20 fix ext nesting, don't register junky intermediate signatures 2026-05-05T14:56:28Z tslil tslil@posteo.de 2026-05-05T13:55:42Z urn:sha1:27ed463f264a701e336eddc86452fa41f28dd111 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 replace todo! with real errors 2026-05-05T10:04:30Z tslil tslil@posteo.de 2026-05-05T10:01:30Z urn:sha1:1c47d2c4e0e9bd8ff38a7ef4939b78ac4722092b 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 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