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 scripts
13 files
aoc
aoc25
compile-chez.ss
import_graph.sh
mkrevision
newt-lsp
orig_aoc
orig_test
pack
stats.py
test
test-playground
translate.sh