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