xpost from /r/programming: A gamified tutorial on the sequent calculus

35 views
Skip to first unread message

deech

unread,
May 23, 2012, 2:23:55 PM5/23/12
to qil...@googlegroups.com
Thought this might be of interest to some on this list:
http://www.reddit.com/r/haskell/comments/tzp7f/a_gamified_tutorial_on_the_sequent_calculus/
-deech

Dmitry Cherkassov

unread,
May 24, 2012, 5:17:03 AM5/24/12
to Qil...@googlegroups.com
Seems an interesting reading. Thanks.
--
With best regards,
Dmitry

Reply all
Reply to author
Forward
0 new messages