9 lines
184 B
TOML
9 lines
184 B
TOML
|
[package]
|
||
|
|
name = "dependent-types"
|
||
|
|
version = "0.1.0"
|
||
|
|
edition = "2021"
|
||
|
|
|
||
|
|
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||
|
|
|
||
|
|
[dependencies]
|