4 Apr
2013
4 Apr
'13
2:42 a.m.
On Wed, Apr 3, 2013 at 6:08 PM, Richard Eisenberg <eir@cis.upenn.edu> wrote:
Comments? Thoughts?
Thanks, Richard
Perhaps you could steal some ideas from my type-eq library: http://hackage.haskell.org/package/type-eq -- Your ship was destroyed in a monadic eruption.