@edwinbrady Cool thanks. Was just looking through those slides actually! Going to take a loom at ARQ DSL. :) @milessabin @d_christiansen
@jeanqasaur http://eb.host.cs.st-andrews.ac.uk/drafts/dsl-idris.pdf … might answer both of those questions. Lots has improved since then though. @milessabin @d_christiansen
-
-
-
@jeanqasaur http://eb.host.cs.st-andrews.ac.uk/drafts/dep-eff.pdf … is the current approach to that problem (but uses fewer DSL features)@milessabin@d_christiansen
End of conversation
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.