Tiago Campos
Results
3
issues of
Tiago Campos
### Describe the bug : Sometimes when you create a definition and type-check this definition (therefore, the file will be cached), even if the definition name is correct, the compiler...
bug
It's well-know that non-terminating functions can derivate absurds, for example +1: ``` f:: a -> Void f x = f x ``` A structural recursion terminating checker may solve this....