Comment by satvikpendem
7 hours ago
What will you use for dependent types, Idris 2? Lean? None are as popular as Rust especially counting the number of production level packages available.
7 hours ago
What will you use for dependent types, Idris 2? Lean? None are as popular as Rust especially counting the number of production level packages available.
No comments yet
Contribute on Hacker News ↗