Jesper Bengtson
Jesper Bengtson
No, this is one single EAPPLY failing, so no new variables are introduced. /Jesper On 25 Nov 2014, at 10:19, Gregory Malecha wrote: Yes, that sound reasonable. Essentially, what you...
It would make sense both to refactor the code and to give it a bette name than just adding a prime. The two first arguments are typ and func, the...
Don't we already have a white list for exprD'? /Jesper 21 jan 2015 kl. 14:31 skrev Gregory Malecha : This seems to require a different denotation function that unfolds the...
I think that adding an error message to Fail would be the way to go. it should be simple enough to do as it has no semantic meaning and just...