From: "Vyskocil Vladimir" <email@example.com>
Subject: Re: Proposal for study: Add a categorical Initial type to ocaml
Date: Sun, 10 Oct 1999 20:52:17 +0200
>I would like to propose adding a new special type to ocaml,
>a categorical initial type. This type is the categorical dual
>of the categorical terminal type, unit.
I ask for this some time ago, but it was said that "it's not a good thing"...
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:26 MET