dunhamsteve.bsky.social / newt
Newt - a dependent typed programming language This is a mirror of the main github repository. newt.cloakedarrow.com
Star
Fork 0
Watch

Traverse SnocList master
Author Steve Dunham Date Commit 30d9683d Parent 19d67b09
+4
1 changed file