Name		Name	Last commit message	Last commit date
Latest commit History 113 Commits
.github/workflows		.github/workflows
lib		lib
tests		tests
.gitignore		.gitignore
README.md		README.md
dune-project		dune-project
imp.opam		imp.opam

Repository files navigation

imp

Experimental library using modular implicits

About

Experimental library using modular implicits

Custom properties

Report repository

Releases

Packages

Used by

Contributors

Languages