greg/dependent-types-implementation
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1 Commit 1 Branch 0 Tags 27 KiB
Rust 100%
master
Go to file
Greg Shuflin 02e4d1b254 Initial commit
2023-03-05 11:24:29 -08:00
src Initial commit 2023-03-05 11:24:29 -08:00
.gitignore Initial commit 2023-03-05 11:24:29 -08:00
Cargo.lock Initial commit 2023-03-05 11:24:29 -08:00
Cargo.toml Initial commit 2023-03-05 11:24:29 -08:00
README.md Initial commit 2023-03-05 11:24:29 -08:00

README.md

= Rust dependent type implementation

Implementation of https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196 in Rust