greg/dependent-types-implementation
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1 Commit 1 Branch 0 Tags
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
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

Description
No description provided
Readme 27 KiB
Languages
Rust 100%