makkai/Cargo.toml, branch main
Type theory implementation
https://git.l-3.space/makkai/atom/Cargo.toml?h=main
2026-04-23T13:05:42Z
basic checking sketch
2026-04-23T13:05:42Z
tslil
tslil@posteo.de
2026-04-23T09:04:50Z
urn:sha1:d960bb0617c98d250040bcdfe4e322f8e1183b17
commit grammar, format code (macro sigh), add pretty printing of AST
2026-04-23T08:55:06Z
tslil
tslil@posteo.de
2026-04-23T07:40:24Z
urn:sha1:037047d8e1104f668e8bb708690f7f90dcdccd1b
Init
2026-04-23T07:13:04Z
tslil
tslil@posteo.de
2026-04-21T13:01:59Z
urn:sha1:ae4ee8c9ffbce7917c2be0e9a9063a14ea230f06