|
|
|
|
|
|
by deredede
406 days ago
|
|
|
> Modular implicits have been shelved indefinitely from what I understand, if that's what you're referring to. They have not — people are still working on it. There's been a paper at the OCaml Workshop at ICFP this year, and a PR on the OCaml repo. The student who worked on this is now starting a PhD on modular implicits in the lab that created OCaml. |
|
|