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: 23 days 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 (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2018-02-26T16:01:32.000Z (almost 7 years ago)
• Last Synced: 2024-10-16T13:28:18.754Z (2 months 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

Awesome Lists containing this project