This will be fun. Anyone want to come and hack on Idris with me? https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/T007265/1 …
Replying to @milessabin
Thanks! They chose a strange day to make this public... I expect it was a computer that did it.
2:24 PM - 31 Aug 2019
0 replies
0 retweets
1 like
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.