Difference between revisions of "GADT"
Jump to navigation
Jump to search
m |
|||
Line 1: | Line 1: | ||
− | # |
+ | # REDIRECT [[Generalised algebraic datatype]] |
Revision as of 07:12, 27 July 2006
- REDIRECT Generalised algebraic datatype