LaTTe: a Laboratory for Type Theory experiments (in clojure)github.com/latte-central4 pointsdmmalam10 years ago