[<<][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][>>][..]