It's a pity this info is so hard to find. I had to click for a minute to find some example code, and thought: this is very much like Haskell.
I wonder how it's better than Haskell, why not Idris/Coq/Adga, and why not contribute to any of the just mentioned projects. This info, combined with some code and a description of the target audience of the project would be very helpful indeed.