Hume (programming language): Difference between revisions

Content deleted Content added
Examples: comments
Comments: english language correction
Line 18:
The interpreter and compiler versions differ.
* the interpreter (concept prover) admits timeout and custom exceptions.
* the compiler admits heap and stack cost bounding exceptions but timeoutexceptions andonly custom exceptionsprint doesn'tthe workexception alreadyname.
 
The expression language is [[Haskell (programming language)|Haskell]]-like.