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.
-
-
Mind, if "having too much fun" was REF returnable I don't suppose we'd be on strike in the first place.
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.