Hacker News new | ask | show | jobs
by ufo 4533 days ago
Sage has dependent types so he probably likes them.
1 comments
tel 4533 days ago
Ah, I misread the intro blurb.
link