Dep (tentative name)

alternatively, very-nice3

This is a really dumb Lisp-ish language with dependent types. Right now, there's very little here.

References

• https://github.com/goldfirere/glambda
• https://github.com/david-christiansen/pie-hs
• https://wespiser.com/writings/wyas/home.html (pretty much just for parsing)