Recently learned this language in a functional programming course. Very cool language. The Curry-Howard Isomorphism proves that programming languages are equiva

Recently learned this language in a functional programming course. Very cool language. The Curry-Howard Isomorphism proves that programming languages are equivalent to mathematical proofs and you can really feel it here. I could see this language being very useful in math-y applications such as cryptography and verification.