5 Aug
2003
5 Aug
'03
4:08 p.m.
On Tue, 5 Aug 2003 15:23:09 +0200
Wolfgang Jeltsch
You could define different types for different natural numbers: data Zero = Zero data Succ number = Succ number
This resembles http://www.brics.dk/RS/01/10/ V.