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
5 folders · 6 files
Data
Lib
Monad
Test
Web
Commands.newt
Format.newt
LSP.newt
Main.newt
Node.newt
Prelude.newt