Bram
/
new-lang
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4 Commits
1 Branch
0 Tags
42 KiB
Commit Graph

2 Commits (ffc79f4372abe5c80b4c344d8eb3d4beaa95ad10)

Author SHA1 Message Date
Bram van den Heuvel ffc79f4372 Simplify & generalize types to "App" & "Const" types 2026-06-29 14:50:51 +02:00
Bram van den Heuvel cca866ae62 Add minimal proof checker 2026-06-29 11:59:35 +02:00