On 04/07/2014 3:30 PM, Matt Oliveri wrote: > Since when is 3 a type? That seems unambiguously ill-formed to me.
Depends on the type system. In a pure subtype system [1], 3 is the singleton type denoting the set of all terms equal to 3. Sandro [1] http://lambda-the-ultimate.org/node/4835 _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
