Add peano numbers implementation
tree12619b618197a7a3e8af91e444c6423ebeb7b667
-rw-r--r-- 9 .gitignore
drwxr-xr-x - peano