GitHub repository: modular-implicits/imp
Primary language: OCaml
Description: Experimental library using modular implicits