search

latte-central / LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)
http://latte-central.github.io/LaTTe/
MIT License
256 stars 13 forks source link

External kernel #21

Closed fredokun closed 7 years ago

fredokun commented 7 years ago

A major revision of LaTTe with a separate kernel written in cljc, thus compatible with clojurescript. The LaTTe project remains a clojure project.