You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
2 weeks ago | |
---|---|---|
src | 2 weeks ago | |
.gitignore | 2 weeks ago | |
Cargo.lock | 2 weeks ago | |
Cargo.toml | 2 weeks ago | |
README.md | 2 weeks ago |
README.md
= Rust dependent type implementation
Implementation of https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196 in Rust