[isabelle-dev] Code export to Haskell and lower-case theory names

Makarius makarius at sketis.net
Tue Apr 2 12:49:53 CEST 2013

On Tue, 2 Apr 2013, Manuel Eberl wrote:

> As an analogy: when I give invalid code to a compiler, I expect it to 
> complain instead of silently produce an invalid executable that will 
> refuse to run and give me some obscure error message about ELF.

Funnily such things happen routinely these days, with all the baggage and 
complexity that has accumulated, especially on the Java (and Scala) 


More information about the isabelle-dev mailing list