@bodil I’m wondering if I can write a program that’s valid syntax in both languages.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@bodil Am I allowed to change Idris syntax?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady Congrats! We seem to interest a lot of Scala hackers for some reason. Perhaps it's our luscious strictness and DSL syntax. -
@d_christiansen I think@milessabin has at least something to do with it :) - 1 more reply
New conversation -
-
-
@jonsterling@d_christiansen@edwinbrady Having spent far too long figuring out how to make my parser combinators appropriately lazy, ugh. -
@ejenk@jonsterling@d_christiansen We should try implementing something like http://www.cse.chalmers.se/~nad/publications/danielsson-parser-combinators.html … - 4 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.