makkai/README.md, branch main Type theory implementation https://git.l-3.space/makkai/atom/README.md?h=main 2026-05-07T16:27:19Z remove stray sentence 2026-05-07T16:27:19Z tslil tslil@posteo.de 2026-05-07T16:27:17Z urn:sha1:55ea9c739c8e42df0caf8a3394add7bd7931a189 add complete lifted sets 2026-05-07T12:34:30Z tslil tslil@posteo.de 2026-05-07T10:50:06Z urn:sha1:8d9c0e5868b2a7fa22080f814357dcda69a10057 WiP 2026-05-06T19:40:27Z tslil tslil@posteo.de 2026-05-06T13:27:43Z urn:sha1:d682ad6bbb5547ffbcc19da90275ff43e4e03e20 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 Move type theory into readme 2026-04-27T08:56:09Z tslil tslil@posteo.de 2026-04-27T08:55:11Z urn:sha1:1b97296cb4e043ed6ba8e200bcfc36bd60e602a9 add license 2026-04-27T08:25:35Z tslil tslil@posteo.de 2026-04-27T08:21:20Z urn:sha1:72d90e8649d43c8dbc5fc27322e84f0e96998c90