HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by juliangamble | Hacker News Reader
Parent
Full thread
juliangamble
·
How powerful is the type system? Can you do dependent types?
View on HN
stchang
·
> Can you do dependent types?
Yes. For example, see
https://github.com/wilbowma/cur
Reply on news.ycombinator.com