minitt-0.2.2
Platform
Feature flags

Rust

minitt 0.2.2

Mini-TT, a dependently-typed lambda calculus, extended and implementated in Rust

Crate
Source
Builds
Feature flags

..
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

let sample: U =
  let unit: U = sum { TT 1 };
  unit;
-- Local let-bindings!