A totality checker for a dependently typed language implemented in Haskell.
Primary LanguageTeXGNU General Public License v3.0GPL-3.0