https://github.com/aatxe/reasoning-with-types
Corresponding example code from my blog post "Reasoning with Types in Rust"
https://github.com/aatxe/reasoning-with-types
blog-post example-code examples parametricity rust
Last synced: about 1 year ago
JSON representation
Corresponding example code from my blog post "Reasoning with Types in Rust"
- Host: GitHub
- URL: https://github.com/aatxe/reasoning-with-types
- Owner: aatxe
- License: bsd-2-clause
- Created: 2018-02-26T15:57:21.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2018-02-26T16:01:32.000Z (over 8 years ago)
- Last Synced: 2025-02-01T09:13:32.739Z (over 1 year ago)
- Topics: blog-post, example-code, examples, parametricity, rust
- Language: Rust
- Homepage: https://aaronweiss.us/posts/2018-02-26-reasoning-with-types-in-rust.html
- Size: 6.84 KB
- Stars: 2
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Reasoning with Types in Rust
These are the corresponding examples from my blog post [Reasoning with Types in Rust](https://aaronweiss.us/posts/2018-02-26-reasoning-with-types-in-rust.html).
## License
These examples are licensed under the BSD 2-Clause License (AKA the FreeBSD license) which is incuded in `LICENSE`.