Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
tel
12y ago
0 comments
Save
Share
How do you feel about dependently typed systems?
0 comments
2 comments · 1 top-level
top
newest
oldest
ufo
12y ago
· 1 in thread
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
