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.
-
Show this thread
-
Yes I do consider that entertainment. What?
1 reply 0 retweets 9 likesShow this thread -
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!1 reply 0 retweets 15 likesShow this thread
Mind, if "having too much fun" was REF returnable I don't suppose we'd be on strike in the first place.
2:46 PM - 10 Mar 2020
0 replies
0 retweets
5 likes
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.