makkai, branch main Type theory implementation https://git.l-3.space/makkai/atom/?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 remove stray sentence 2026-05-07T16:27:19Z tslil tslil@posteo.de 2026-05-07T16:27:17Z urn:sha1:55ea9c739c8e42df0caf8a3394add7bd7931a189 grammar.txt is too difficult to maintain by hand anymore :( 2026-05-07T15:20:26Z tslil tslil@posteo.de 2026-05-07T15:20:25Z urn:sha1:ac0694074630f1308e44e42eb9bf0d228460fbf1 fix failure to add hypotheticals for instances of compound signatures 2026-05-07T15:19:27Z tslil tslil@posteo.de 2026-05-07T14:33:30Z urn:sha1:77d637846be1eb0d140612731c80ca7a6cf1bb29 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 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 clean up examples vs tests 2026-05-06T12:35:14Z tslil tslil@posteo.de 2026-05-06T10:21:22Z urn:sha1:1b4abb8fdd81f6de2166ef3f064a77fd5622fe83