dedukti-parse 0.3.1

[dependencies.logos]
version = "0.12"

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