Epigram 2 is an experimental dependently typed functional programming language.