Reading @edwinbrady's book. No type/value distinction feels weird, but I begin to think that at the end, anything else will be unnatural.
-
-
Replying to @sbrandauer @edwinbrady
I used some Coq before, but it hides a lot from you. The book is really good at building the fundamentals from the ground up. Thank you! :-)
1 reply 0 retweets 4 likes
Replying to @sbrandauer
great, glad you're enjoying it!
3:22 PM - 12 Apr 2017
0 replies
0 retweets
3 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.