https://github.com/jw3126/naturals

Inefficient natural numbers
https://github.com/jw3126/naturals

haskell lazy natural-numbers

Last synced: about 1 month ago
JSON representation

Inefficient natural numbers

• Host: GitHub
• URL: https://github.com/jw3126/naturals
• Owner: jw3126
• License: bsd-3-clause
• Created: 2017-05-21T07:45:20.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2017-05-21T08:42:42.000Z (almost 8 years ago)
• Last Synced: 2025-02-10T12:35:54.198Z (3 months ago)
• Topics: haskell, lazy, natural-numbers
• Language: Haskell
• Size: 6.84 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Naturals

Peano style definition of natural numbers. These do not satsfy the induction principle however, as you can define "infinite" numbers.

```Haskell

*Main Lib> inf = suc inf

*Main Lib> inf > zero

True

```

Our Naturals are codata instead of data.