Type-level Peano numerals and sized vectors in Rust (Just for fun)

Type-level Peano numerals and sized vectors in Rust (Just for fun) - lib.rs
gist.github.com gist.github.com