In this screencast, I'm leveraging Rust's type system by defining Peano numbers using Rust's structs and traits, and exploring some fundamental arithmetic operations.
The code for the video: github.com/magniff/peano
Негізгі бет Type level implementation of Peano numbers in Rust
Пікірлер: 1