Ahmad Salim Al-Sibahi
Ahmad Salim Al-Sibahi
@allancto Thank you for the issue; I have tried to fix the formatting. Would it possible for you to use [Gist](https://gist.github.com) for `ConstBool.idr`, since GitHub issues do not support attachments.
@allancto I unfortunately do not know a good answer to this language design question. Have you tried making a new thread on the mailing list asking specifically for this? Usually...
@clayrat I thought we had fixed that problem. In any case contributions are welcome again.
@clayrat @effectfully Thanks 👍
@clayrat The main problem I had was that the Idris process was launched by the IDE mode, and I have no idea how to give it the right arguments there.
I unfortunately wouldn't expected that this gets fixed, but I will still tag it if someone else wants to look at this. It is inherently a hard problem to give...
@gallais Your issue seems particularly weird, since "@@" is not a legal variable. I unfortunately still do not have any idea how to improve syntax extensions in Idris in a...
@rfindler Thank you for the quick response. Would you kindly explain me what the error is/limitation means when you have time? I am not sure I understand what a non-groundable...
OK, thanks for the explanation, nonetheless!
Ah, thanks for the clarification! I was closing some old issues, and thought this was resolved but wasn't closed.