makkai/.gitignore, branch main Type theory implementation https://git.l-3.space/makkai/atom/.gitignore?h=main 2026-04-23T07:13:04Z Init 2026-04-23T07:13:04Z tslil tslil@posteo.de 2026-04-21T13:01:59Z urn:sha1:ae4ee8c9ffbce7917c2be0e9a9063a14ea230f06