4 ms·
Not these (at least): Idris – implicit arguments Agda – instance arguments OCaml – Modular implicits :-)
by premium-concern 10y ago
Not these (at least):
Idris – implicit arguments
Agda – instance arguments
OCaml – Modular implicits
:-)
loading thread…