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 papers
6 files
2605.00655v1.pdf
dependently-typed-compilers.pdf
elaborating-dependent-copattern-matching.pdf
OTComp.newt
prettier.pdf
unifiers-as-equivalences.pdf