- Mononym: Type-Level Named Values in Rust - Part 1: Demo and Implementation https://maybevoid.com/blog/mononym-part-1/ 5 comments programming
- Mononym: Type-level named values in Rust supporting limited form of dependently typed programming https://maybevoid.com/blog/mononym-part-1/ 3 comments rust
Linking pages
Linked pages
- GhostCell: Separating Permissions from Data in Rust http://plv.mpi-sws.org/rustbelt/ghostcell/ 59 comments
- GitHub - BurntSushi/quickcheck: Automated property based testing for Rust (with shrinking). https://github.com/BurntSushi/quickcheck 28 comments
- Types and Functions — Idris 1.3.3 documentation http://docs.idris-lang.org/en/latest/tutorial/typesfuns.html 26 comments
- Closure types - The Rust Reference https://doc.rust-lang.org/reference/types/closure.html 16 comments
- https://kataskeue.com/gdp.pdf 0 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:maybevoid.com
Search title: Mononym: Type-Level Named Values in Rust - Part 1: Demo and Implementation | MaybeVoid
See how to search.