Environment

Base article for LaTTe reusable Environments.

Stable

{:deps
 {org.clojure/clojure 
  {:mvn/version "1.10.1"}
  latte
  {:mvn/version "1.0b7-SNAPSHOT"}
  latte-prelude
  {:mvn/version "1.0b7-SNAPSHOT"}
  latte-sets
  {:mvn/version "1.0b7-SNAPSHOT"}
  compliment 
  {:mvn/version "0.3.9"}}}
deps.edn
Extensible Data Notation
(println (clojure-version))
(require 'latte.core)
1.9s
LaTTe (Clojure)
Clojure

LaTTe Sigma Types

Experimental environment featuring sigma types and a different encoding of the existential quantifier. It's enough to pull latte sets, all other deps should follow in a cascade.

{:deps
 {org.clojure/clojure 
  {:mvn/version "1.10.1"}
  compliment 
  {:mvn/version "0.3.9"}
  latte-sets
  {:git/url "https://github.com/latte-central/latte-sets"
   :sha "1779136163b3c328d12e80dfb033326109d01491"}}}
sigma-deps.edn
Extensible Data Notation
(require 'latte.core)
(println (clojure-version))
8.7s
LaTTe (∑) (Clojure)
Clojure

Runtimes (2)