I've spent the last two days doing dependently typed work in Haskell because I found Agda very inconvenient for the task and Haskell not horrible. I'm so silly. I'll port it to Idris tomorrow. Thanks for this reminder tweet <3
-
-
-
Also welcome back! Are you here to have a game of go disguised as an academic visit? And how come you never stop by the department for a talk? Why does MSR have all the fun...
- 6 more replies
New conversation -
-
-
Did you manage to steal any interesting ideas back?
-
Yes! They were very helpful. I suppose it's not stealing if we all encourage each other is it...
- 3 more replies
New conversation -
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.