3 ms·
> Can you do dependent types? Yes. For example, see https://github.com/wilbowma/cur https://github.com/wilbowma/cur
by stchang 9y ago
> Can you do dependent types?
Yes. For example, see https://github.com/wilbowma/cur https://github.com/wilbowma/cur