/peridot

A fast functional language based on two level type theory

Primary LanguageHaskellMozilla Public License 2.0MPL-2.0

Stargazers