@edwinbrady any idea what's wrong in this Idris line that prevents from compiling https://gist.github.com/mandubian/83d28f126ddf684eca633e809ba87fdd … ? Thks
That certainly doesn’t look right. Taking a type away to make something work is not what we’d hope for… I’ll investigate.
-
-
Thks! Trying deeper things with Idris, I might find other weird things ;)
-
It turns out it’s not passing b and c to stateFlip. This is probably not correct behaviour…
- 3 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.