GitHub repository: paholg/peano
Primary language: Rust
Created: 2015-09-24T19:09:36Z
Description: The peano numbers implemented in Rust's type system.