FranckS

Hi, I realized that I broke the link to the file explaining this issue that I raised quite a long time ago about the reflection mechanism. I didn't check if...

I would definitely love to see the Repl for idris2 become like the one idris1 had. Especially navigating through recently typed commands with the upper and lower keys, and if...

Hi there, I just wanted to update my version of Idris2 from sources, and I'm running into the same problem. Could you please tell me where are located the .ttc...

Thanks for your answer @fabianhjr ! But how is my set-up different from what the CI has if I start with a fresh clone too ? I did that yesterday,...

Hi all, If I understood well, there would be no confluence problem with what @francoisthire is suggesting, as what he wants is just some syntactic sugar. When a user adds...