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
The expression language is [[Haskell (programming language)|Haskell]]-like.
|