Make illegal states unrepresentable. #78

jlouis opened this Issue Jan 21, 2011 · 1 comment


None yet

2 participants

jlouis commented Jan 21, 2011

See Yaron Minsky's presentation on vimeo for the details of this idea. We ought to replace #state{} with some more specific records.

edwardw commented Jan 25, 2011

Yes, this presentation is very good. And "make illegal states unrepresentable" part is around 18:10.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment