Hacker News new | ask | show | jobs
by tel 4533 days ago
How do you feel about dependently typed systems?
1 comments
ufo 4533 days ago
Sage has dependent types so he probably likes them.
link
tel 4533 days ago
Ah, I misread the intro blurb.
link