Type level implementation of a stack machine in Rust 

In this video, we'll create a stack-based virtual machine that performs computations using the Peano representation of natural numbers. The key feature of this implementation is that it's entirely built using various Rust types and traits.
The code for that vid is here: github.com/mag...