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