Ryan Scott describes using Liquid Haskell as theorem prover. Cool! @nikivazou @RanjitJhala #MidwestPLSummit
-
-
Replying to @ravi_chugh @nikivazou
@edwinbrady tells me the standard response is: "will there be a video"?:)1 reply 0 retweets 2 likes
I sometimes consider adding “No I don’t know if it’ll be recorded” to my bio ;)
3:07 PM - 2 Dec 2016
0 replies
0 retweets
2 likes
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.