Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
undefined | Better HN
0 points
tel
12y ago
0 comments
Share
How do you feel about dependently typed systems?
0 comments
default
newest
oldest
ufo
12y ago
Sage has dependent types so he probably likes them.
tel
OP
12y ago
Ah, I misread the intro blurb.
j
/
k
navigate · click thread line to collapse
