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 Data
11 files
DSortedMap.newt
Fin.newt
Graph.newt
Int.newt
IORef.newt
List.newt
List1.newt
SnocList.newt
SortedMap.newt
String.newt
Vect.newt