minitt-0.1.9
Platform
Feature flags

docs.rs

Rust

minitt 0.1.9

Mini-TT, a dependently-typed lambda calculus, 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

1
2

let a : b = c;
-- CLI flag "--parse-only": just parse, don't type-check.