{{stub}}{{language|Epigram}} Epigram 2 is an experimental dependently typed functional programming language.