Skip to content

Files

Latest commit

b352015 · Nov 30, 2017

History

History
9 lines (6 loc) · 204 Bytes

Readme.md

File metadata and controls

9 lines (6 loc) · 204 Bytes

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