3 ms·

> Rust isn't a "simpler Agda" either. Calling Rust a "simpler Agda" is a bit insane. Rust simply has a sensible, current type system. Agda is full dependent ty

> Rust isn't a "simpler Agda" either. Calling Rust a "simpler Agda" is a bit insane. Rust simply has a sensible, current type system. Agda is full dependent types.