Comment on Hindley-Milner in ClojureparentComments−sfvisser12yWhy the 'but'? There seems to be quite some type theory involved in Sage.
Comments
Why the 'but'? There seems to be quite some type theory involved in Sage.