https://github.com/willdoescode/natrual
Haskell Nat implementation.
https://github.com/willdoescode/natrual
nat typetheory
Last synced: 28 days ago
JSON representation
Haskell Nat implementation.
- Host: GitHub
- URL: https://github.com/willdoescode/natrual
- Owner: willdoescode
- Created: 2021-06-11T20:44:15.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2021-06-13T05:20:49.000Z (almost 4 years ago)
- Last Synced: 2025-04-10T00:47:26.075Z (about 1 month ago)
- Topics: nat, typetheory
- Language: Haskell
- Homepage:
- Size: 11.7 KB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 0