implicits-module-system icon indicating copy to clipboard operation
implicits-module-system copied to clipboard

verified publisher icon lpw25
→

Metadata

Work on modular implicits

Work on modular implicits

Building

Building a pdf of the typing rules requires latex and Ott (which can be installed with opam). Then just run:

make

← Metadata

23
Stars
2
Forks
Watchers

Owner

verified publisher icon lpw25

Metadata

Work on modular implicits

Back