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.

0 comments