History | View | Annotate | Download (3.34 KB)
Add vim modeline to all OCaml files
Separate cool into library and coalg frontend