peridot

A fast functional language based on two level type theory