Paulo Torrens
Paulo Torrens
I do understand that I could implement `isEven` or `isOdd` this way; I'm asking from the point of view of a Haskell to Morte compiler. The compiler wouldn't be able...
IIRC, there are formalizations of pure type systems (and of course of CoC) which do have the let rule as well, which might be considered as a common extension (similar...
I think so. If you're ok with that, I can make a pull request for that feature. But that's just a suggestion, it's your call. :smile: