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

#2263 in Development tools

Download history 33/week @ 2023-10-29 26/week @ 2023-11-05 20/week @ 2023-11-12 21/week @ 2023-11-19 40/week @ 2023-11-26 27/week @ 2023-12-03 19/week @ 2023-12-10 19/week @ 2023-12-17 38/week @ 2023-12-24 8/week @ 2023-12-31 18/week @ 2024-01-07 16/week @ 2024-01-14 19/week @ 2024-01-21 22/week @ 2024-01-28 23/week @ 2024-02-04 45/week @ 2024-02-11

109 downloads per month
Used in 4 crates

Apache-2.0

11KB
223 lines

Mini-TT's utilities

Crates.io Crates.io Crates.io docs.rs

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.2MB
~20K SLoC