eta-cli 0.1.0

CLI for the Eta calculus
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

[package]
name = "eta-cli"
description = "CLI for the Eta calculus"
version = "0.1.0"

authors = { workspace = true }
edition  = { workspace = true }
license  = { workspace = true }
repository = { workspace = true }
rust-version = { workspace = true }

[[bin]]
name = "eta"
path = "src/main.rs"

[dependencies]
clap = { version = "4.5.54", features = ["derive"] }
eta-core = { workspace = true }