lsts-0.0.17
Platform
Feature flags

docs.rs

Rust

lsts 0.0.17

Large Scale Type Systems

Crate
Source
Builds
Feature flags

src
tests
.cargo_vcs_info.json
.gitignore
Cargo.lock
Cargo.toml
Cargo.toml.orig
CODE_OF_CONDUCT.md
LICENSE
Makefile
README.md

1
2

test:
	cargo test --features rust -- --nocapture