CSY/reowolf Files · bin-compiler/Cargo.toml · Centrum Wiskunde & Informatica (CWI)

Files @ b3a68f0f8b36

Branch filter:

Location: CSY/reowolf/bin-compiler/Cargo.toml

b3a68f0f8b36 261 B text/plain Show Annotation Show as Raw Download as Raw

WIP: Reimplementing indexing of inference rules

[package]
name = "reowolf_compiler"
version = "0.1.0"
authors = [
    "Max Henger <henger@cwi.nl>",
    "Christopher Esterhuyse <esterhuy@cwi.nl>",
    "Hans-Dieter Hiep <hdh@cwi.nl>"
]
edition = "2021"

[dependencies]
reowolf_rs = { path = "../" }
clap = "3.0"