GitHub repository: lpw25/implicits-module-system
Primary language: TeX
Description: Work on modular implicits