Hacker News new | ask | show | jobs
by sfvisser 4533 days ago
Why the 'but'? There seems to be quite some type theory involved in Sage.