markuzzz

The equations are listed in the text. ``` map test: List(Int) -> Int; var ls: List(Int); i: Int; eqn test(ls

Would it then not be a good idea to check whether the left hand side of rewrite rules consists of a top term with only constructors as subterms. If this...

What I could find: https://stackoverflow.com/questions/212466/what-is-a-bus-error-is-it-different-from-a-segmentation-fault "Bus errors are rare nowadays on x86 and occur when your processor cannot even attempt the memory access requested, typically: using a processor instruction with...

I can imagine wanting to hide experimental features or features that have very limited use cases. But I think being able to check a formula is a pretty normal functionality....