Cargo.lock

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
[[package]]
name = "arith"
version = "0.1.0"
dependencies = [
 "util 0.1.0",
]

[[package]]
name = "bidir"
version = "0.1.0"

[[package]]
name = "dependent"
version = "0.1.0"

[[package]]
name = "lambda"
version = "0.1.0"
dependencies = [
 "util 0.1.0",
]

[[package]]
name = "recon"
version = "0.1.0"
dependencies = [
 "util 0.1.0",
]

[[package]]
name = "stlc"
version = "0.1.0"
dependencies = [
 "util 0.1.0",
]

[[package]]
name = "system_f"
version = "0.1.0"
dependencies = [
 "util 0.1.0",
]

[[package]]
name = "system_fw"
version = "0.1.0"
dependencies = [
 "util 0.1.0",
]

[[package]]
name = "typedarith"
version = "0.1.0"
dependencies = [
 "util 0.1.0",
]

[[package]]
name = "util"
version = "0.1.0"