GADT

(Difference between revisions)

Current revision

Revision as of 07:11, 27 July 2006 (edit) EricKow (Talk \| contribs) ← Previous diff		Current revision (07:13, 27 July 2006) (edit) (undo) EricKow (Talk \| contribs) m
(One intermediate revision not shown.)
Line 1:		Line 1:
-	#[[~~REDIRECT~~ Generalised algebraic datatype]]	+	#REDIRECT [[Generalised algebraic datatype]]