Cargo.toml

[package]
name = "cedille2"
version = "0.1.0"
edition = "2021"
authors = ["Andrew Marmaduke <marmaduke.andrew@gmail.com>"]
description = """
cedille2 is a proof assistant
"""

[[bin]]
path = "crates/cli/main.rs"
name = "cedille2"

[workspace]
members = [
    "crates/core",
    "crates/lang"
]

# # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

[dependencies]

cedille2-core = { version = "*", path = "crates/core" }
cedille2-lang = { version = "*", path = "crates/lang" }

# Error handling libraries
anyhow = "=1.0"
thiserror = "=1.0"
# ariadne = "=0.1.3"
# miette = { version = "=3.3.0", features = ["fancy"] }

# CLI and REPL libraries
rustyline = "=9.0.0"
rustyline-derive = "=0.5.0"
clap = "=2"
colored = "=2"
directories = "=4"

# Helper / auxillary libraries
# derive_more = "=0.99.17"
log ="0.4.14"
env_logger = "=0.9.0"
# normpath = "=0.3.2"
# if_chain = "=1.0.2"
# paste = "=1.0.6"
# stacker = "=0.1.14"
# unicode-segmentation = "1.9.0"