fruehr:
> Mathematical logic would be a good thing to study if you haven't
> already, especially if you can take something as specific as
> intuitionistic / constructive / substructural logic. The Curry-Howard
> correspondence lurks underneath a lot of Haskell intuitions and
> techniques.
>
> -- Fritz
See also
The Haskell Road to Logic, Maths and Programming
http://www.cwi.nl/~jve/HR
which might work the other direction.
-- Don
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
