Type level implementation of Peano numbers in Rust 

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