[<<][compsci][>>][..]
Thu Dec 2 11:15:54 EST 2010

Algebraic Datatypes

An ADT constructor application is a function application that can be undone.

This is a simple and powerful idea.




[Reply][About]
[<<][compsci][>>][..]