6. Limitations
import statements in the input files are ignoredIO, Read and Show functionality from the Prelude is not supported- To prevent infinite loops, reductions with more than 1000 sub-steps are aborted
- For some functions, only the result is shown but no sub-steps. In this case, the arguments are strictly reduced before the function is evaluated.
- Known bug: Usage of list generator syntax can sometimes lead to an unwanted infinite loop.