dedukti-parse 0.2.0

[dependencies.itertools]
optional = true
version = "0.10"

[dependencies.logos]
version = "0.12"

[features]
default = ["itertools"]

[package]
authors = ["Michael Färber <michael.faerber@gedenkt.at>"]
categories = ["no-std", "parser-implementations"]
description = "Parser for the Dedukti file format"
edition = "2018"
keywords = ["dependent-types", "rewriting", "dedukti"]
license = "GPL-3.0-only"
name = "dedukti-parse"
repository = "https://github.com/01mf02/kontroli-rs"
version = "0.2.0"