LaTTe : a Laboratory for Type Theory experiments (in clojure) - View it on GitHub