3 ms·EXE/OM – Erlang Language with Dependent Types and Changeabe Encodings4 points by 5HT 10y agobrudgers 10y agoLanguage home: http://groupoid.space/exe.htm http://groupoid.space/exe.htm