prog

Muh Type Safety

1 2020-10-16 03:19: https://github.com/idris-lang/Idris2/issues/725
Imagine advertising complete type safety, dependent types and complete typechecking and ending up with this.
4: VIP:

do not edit these