7 releases
0.2.4 | Sep 21, 2020 |
---|---|
0.2.3 | Jan 18, 2020 |
0.2.2 | Nov 26, 2019 |
0.1.1 | Sep 5, 2019 |
#1881 in Development tools
Used in 4 crates
11KB
223 lines
Mini-TT's utilities
This is a crate extracted from Mini-TT to help the development of other dependently-typed lambda calculus type checkers' command line interface.
It contains helper functions for the Clap (structopt) command line processor, file IO, and REPL helpers (for rustyline).
As I don't want to break the self-containing property of the Mini-TT codebase, I only extracted things from the CLI helpers, not the type-checker.
lib.rs
:
Mini-TT Util
This is a crate extracted from the codebase of the Mini-TT type checker to help the development of other dependently-typed lambda calculus type checkers' command line interface.
It contains helper functions for the Clap (structopt) command line processor, file IO, and REPL helpers (for rustyline).
As I don't want to break the self-containing property of the Mini-TT codebase, I only extracted things from the CLI helpers, not the type-checker.
All dependencies are optional, thus very lightweight.
Dependencies
~0–1.1MB
~18K SLoC