EXE/OM – Erlang Language with Dependent Types and Changeabe Encodings

Language home: http://groupoid.space/exe.htm