Nearly time to go home... thanks to Nicola Botta for being a very hospitable host at PIK, and for reminding me that software is unlikely to survive its first encounter with a user :)
-
-
Replying to @edwinbrady
Are you using game theory to stress test Idris 2 then?
1 reply 0 retweets 0 likes
Replying to @_julesh_
We're not that far, but in a way, yes :). He's done a lot of interesting things in Idris, but working around it rather than with it (mostly related to interfaces) so it's been enlightening finding out what we need to do better.
2:53 PM - 28 Sep 2018
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.