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/magniff/stack-mach...

[@vekaev]

Super cool videos, thank you for your content. Subscribed!