A Dependently Typed Programming Language
Haskell Emacs Lisp Coq

README.md

Foveran

A dependently typed programming language.

Known Bugs

  • Level checking of equalities is slightly broken, in some cases