GADT

(Difference between revisions)

Revision as of 07:12, 27 July 2006

Revision as of 07:11, 27 July 2006 (edit) EricKow (Talk \| contribs) ← Previous diff		Revision as of 07:12, 27 July 2006 (edit) (undo) EricKow (Talk \| contribs) m Next diff →
Line 1:		Line 1:
-	#[[~~REDIRECT~~ Generalised algebraic datatype]]	+	# REDIRECT [[Generalised algebraic datatype]]