greg/dependent-types-implementation
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
master
dependent-types-implementation/README.md
Greg Shuflin 02e4d1b254 Initial commit
2023-03-05 11:24:29 -08:00

130 B
Raw Permalink Blame History

= Rust dependent type implementation

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