makkai/examples/ext_codomain.makkai, branch main Type theory implementation https://git.l-3.space/makkai/atom/examples/ext_codomain.makkai?h=main 2026-05-06T12:35:14Z clean up examples vs tests 2026-05-06T12:35:14Z tslil tslil@posteo.de 2026-05-06T10:21:22Z urn:sha1:1b4abb8fdd81f6de2166ef3f064a77fd5622fe83 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