pedromartins/kappa-ott

A fork of Ott (http://www.cl.cam.ac.uk/~pes20/ott/) adding some features (read: hacks) I found useful.

语言：OCaml · GitHub 星标：0 · Fork：0

在 GitHub 上查看原仓库