Cargo.lock

Cargo.toml

kernel/Cargo.toml

kernel/src/calculus/term.rs

kernel/src/error.rs

kernel/src/error/mod.rs

kernel/src/lib.rs

kernel/src/memory/arena.rs

kernel/src/memory/declaration/builder.rs

kernel/src/memory/level/builder.rs

kernel/src/memory/term/builder.rs

kernel/src/memory/term/mod.rs

kernel/src/type_checker.rs

parser/Cargo.toml

parser/src/command/parse.rs

parser/src/error.rs

proost/Cargo.toml

proost/src/error.rs

proost/src/evaluator.rs

proost/src/main.rs