[dependencies.glob]
version = "0.3"
[package]
authors = ["Andrew <andrew@subarctic.org>"]
description = "Typed Macro Assembler (backed by Coq proofs-of-correctness)"
documentation = "https://andrew-johnson-4.github.io/lambda-mountain/"
edition = "2018"
keywords = ["programming-language", "interpreter", "compiler"]
license = "MIT"
name = "lambda_mountain"
readme = "README.md"
repository = "https://github.com/andrew-johnson-4/-"
version = "1.16.21"