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
newt src Lib Compile
7 files
CExp.newt
Common.newt
JS.newt
LiftLambda.newt
LiftWhere.newt
Scheme.newt
TCO.newt