[<<][meta][>>][..]

Sun Feb 10 13:52:17 CET 2013

Types

I need integers..  How to do that?  This requires a small adaptation
in the type inference.  Currently there are only type variables at the
lowest level.  This needs to be extended to concrete types.

[Reply][About]

[<<][meta][>>][..]