paholg/peano

The peano numbers implemented in Rust's type system.

语言：Rust · GitHub 星标：25 · Fork：1

在 GitHub 上查看原仓库