Hacker News new | ask | show | jobs
by stchang 3338 days ago
> Can you do dependent types?

Yes. For example, see https://github.com/wilbowma/cur