minitt-util
| Crates.io | minitt-util |
| lib.rs | minitt-util |
| version | 0.2.4 |
| source | src |
| created_at | 2019-09-05 03:36:38.692674 |
| updated_at | 2020-09-21 17:06:11.30514 |
| description | CLI Utilities extracted from Mini-TT language's type-checker |
| homepage | |
| repository | https://github.com/owo-lang/minitt-rs |
| max_upload_size | |
| id | 162337 |
| size | 10,922 |
Tesla Zhang‮ (ice1000)
documentation
https://docs.rs/minitt-util
README
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.