Hacker News new | ask | show | jobs
by premium-concern 3657 days ago
Not these (at least):

Idris – implicit arguments

Agda – instance arguments

OCaml – Modular implicits

:-)