First identify the nearest escape route, then tell them that Scheme needs dependent types
-
-
-
By the time they've seen the kind of Scheme I'm generating they'll be too weak to fight...
- 1 more reply
New conversation -
-
-
-
Don't forget to take your spare parentheses with you!
-
we've been informed that the workshop budget can be used to buy spare parentheses. We've found a local supplier in Berlin to deliver us extras alongside espresso, so no need to bring your own.
- 1 more reply
New conversation -
-
-
Here’s your title: “Dependent types: dynamically-typed done right”
-
I love dependent types, I love Scheme. I think both angles can support and harmonize and am really excited to see them together :-)
- 1 more reply
New conversation -
-
-
Walk in, and immediately start handing out cups of purple koolaid.
-
we'll supply the other colors.
End of conversation
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.