makkai/examples, branch main Type theory implementation https://git.l-3.space/makkai/atom/examples?h=main 2026-05-07T15:19:27Z 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 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 almost done 2026-05-04T17:26:43Z tslil tslil@posteo.de 2026-05-04T16:52:04Z urn:sha1:90e451893671ceebaa37fcb634b5d7a3f153ba70