5 Aug
2003
5 Aug
'03
8:08 p.m.
On Tue, 5 Aug 2003 15:23:09 +0200 Wolfgang Jeltsch <wolfgang@jeltsch.net> wrote:
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.