Some code that I'm writing while attending OPLSS'16 (Oregon Programming Languages Summer School).
- SystemF : a small formalization of (-/op/bi)-fibrations which Patricia Johann taught there.
This library assumes that the category theory library https://github.com/amintimany/Categories is installed.