[<<][meta][>>][..]
Mon May 20 10:10:05 EDT 2013

Type Checking

Maybe it's time to make the typed interpretation rigid, and provide a
standard interface to the primitive operations in the form of a context.




[Reply][About]
[<<][meta][>>][..]