minitt-0.4.3
Platform
Feature flags

docs.rs

Rust

minitt 0.4.3

Mini-TT, a dependently-typed lambda calculus, extended and (re)implemented in Rust

Crate
Source
Builds
Feature flags

..
lexical-json.flags
lexical-json.minitt
lexical-json.out
local-binding.minitt
local-binding.out
parse-only.flags
parse-only.minitt
parse-only.out
reference.minitt
reference.out
simple.minitt
simple.out
syntacic-sugar.flags
syntacic-sugar.minitt
syntacic-sugar.out
unicode.flags
unicode.minitt
unicode.out
univese.minitt
univese.out

-- Local let-bindings!
let sample: Type =
  let unit: Type = Sum { TT 1 };
  unit;