makkai/src, branch main Type theory implementation https://git.l-3.space/makkai/atom/src?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 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 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 repair binding for nesting in for 2026-05-05T15:50:03Z tslil tslil@posteo.de 2026-05-05T15:39:43Z urn:sha1:9b3fe7ceb8aa0b0f174a17e6e13b5d325c974979 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