9 Forks
236 Stars
236 Watchers

LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)

How to download and setup LaTTe

Open terminal and run command
git clone https://github.com/latte-central/LaTTe.git
git clone is used to create a copy or clone of LaTTe repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with LaTTe https://github.com/latte-central/LaTTe/archive/master.zip

Or simply clone LaTTe with SSH
[email protected]:latte-central/LaTTe.git

If you have some problems with LaTTe

You may open issue on LaTTe support forum (system) here: https://github.com/latte-central/LaTTe/issues

Similar to LaTTe repositories

Here you may see LaTTe alternatives and analogs

 awesomo    deeplearning4j    beakerx    intellij-rainbow-brackets    mal    metabase    riemann    LightTable    reagent    http-kit    sente    cryogen    onyx    clojure.java-time    joker    Arcadia    fn-fx    walkable    boot    timbre    compojure    datascript    ring    lein-figwheel    cider    status-mobile    hiccup    klipse    lumo    liberator