This evening's entertainment has been to write a parser in Idris 2 for Idris 2 that parses the Idris 2 parser. Yo, as they say, dawg.
-
-
Anyway, thanks to
@samth teaching me more about Scheme, it's about 50% faster than the Idris 1 version of the same thing. I'm supposed to be on strike but I'm having too much fun here. Sorry... I'm really not sure where to draw the line!Show this thread -
Mind, if "having too much fun" was REF returnable I don't suppose we'd be on strike in the first place.
Show this thread
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.