I have a few times not written up "Here is how <thing> is done in Idris" because I expect to be told it's been done before. I should do it anyway, but it would essentially be done as a really nerdy hobby and I already have plenty of them...https://twitter.com/chris__martin/status/1096104726075244544 …
-
-
I’m working on it, the lib is in progress but there’s already neat results to show.
Thanks. 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.