lambda_mountain 1.16.29

Typed Macro Assembler (backed by Coq proofs-of-correctness)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

[package]
name = "lambda_mountain"
version = "1.16.29"
authors = ["Andrew <andrew@subarctic.org>"]
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" }