https://gist.githubusercontent.com/anonymous/c59834d34214852fc459/raw … Idris PHP fails to compile :-(
@clementd You probably need everything right up to date. Also, it currently requires turning inlining off in Compiler.hs. Will fix these…
-
-
@clementd Not that I'm planning to maintain it in general, but it'd be nice if it at least worked for basic things without any such tweaks. -
@edwinbrady I have a PR coming. - 1 more reply
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.