Peano style definition of natural numbers. These do not satsfy the induction principle however, as you can define "infinite" numbers.
*Main Lib> inf = suc inf
*Main Lib> inf > zero
TrueOur Naturals are codata instead of data.
-
Notifications
You must be signed in to change notification settings - Fork 0
Inefficient natural numbers
License
jw3126/Naturals
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Inefficient natural numbers
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published