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 vim syntax
1 file
newt.vim