Neat example of Shen's type system
93 views
Skip to first unread message
David Nolen
Feb 14, 2012, 11:38:59 AM2/14/12
to ll-...@googlegroups.com
http://sandycat.info/blog/deptypes-shen/
Don't be put off the by the actual blogpost title, it's a pretty straightforward read!
Reply all
Reply to author
Forward
0 new messages