4 ms·
How powerful is the type system? Can you do dependent types?
by juliangamble 9y ago
How powerful is the type system? Can you do dependent types?
- stchang 9y ago> Can you do dependent types? Yes. For example, see https://github.com/wilbowma/cur https://github.com/wilbowma/cur