mmb-types 0.3.1

Definitions of opcodes present in the Metamath Zero binary format

[dependencies]

[package]
authors = ["Ivo C.S. Wingelaar <ivo@codeforge.rs>"]
description = "Definitions of opcodes present in the Metamath Zero binary format"
edition = "2018"
keywords = ["metamath-zero"]
license = "MIT OR Apache-2.0"
name = "mmb-types"
readme = "README.md"
repository = "https://github.com/trivial-rs/mmb-types"
version = "0.3.1"