greg
/
dependent-types-implementation
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
dependent-types-implementation/README.md

130 B
Raw Permalink Blame History

= Rust dependent type implementation

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