André Videla
André Videla
> Fixed the first line and rebuilt the idris2 binary What change dud you make?
### CaseSplit > Can we assume that always the whole line is modified by a case-split and that the compiler does not touch other non-related text in the lines? No,...
The reasons are pretty boring: - workforce: until recently only edwin was working on Idris2 and the community is small so nobody got around to it. - expertise: I don't...
That looks amazing! Maybe we should really start setting up a project to work on this. It might be a good candidate for a hackathon project!
Thank you for the feedback, this is what I intended to communicate so I'll amend the text to reflect this more clearly edit: I've fixed the example and modified this...
Anything in particular you think should be referenced?
Thank you for your feedback. > why bother with typebind infixr 0 ** and not to use typebind 0 ** or typebindr 0 ** instead? - Users already know how...
I'm going to close this given it's gone stale and we haven't heard from OP in a year
Given that this has gone stale for quite a while I'm going to close this. If someone else wants to try again, feel free (@ProofOfKeags)
Given the timeline and the lack of interest I'm going to close this. Feel free to reopen if someone wants to revive the topic