Buy Me a Coffee at ko-fi.com

Epigram

functional programming language with dependent types

Pronunciation
/ˈɛpɪɡram/
/ˈɛpəˌɡræm/