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 misc
3 files
casetree.ts
mixfix.ts
README.md
README.md

This directory contains experiments that I did in typescript before implementing a couple of features.