search

owo-lang / minitt-rs

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Apache License 2.0
113 stars 3 forks source link

Create `minitt-util` #24

Closed ice1000 closed 4 years ago

ice1000 commented 4 years ago

Like voile-util.

ice1000 commented 4 years ago

It should contain some utilities for the CLI repl.