echojc/peano-arithmetic

Basic arithmetic on Scala's type system using Peano numbers.

语言：Scala · GitHub 星标：12 · Fork：1

在 GitHub 上查看原仓库