https://github.com/jozefg/generic-church
automatic church encodings
https://github.com/jozefg/generic-church
Last synced: 3 months ago
JSON representation
automatic church encodings
- Host: GitHub
- URL: https://github.com/jozefg/generic-church
- Owner: jozefg
- License: mit
- Created: 2014-10-23T18:09:04.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2014-10-23T18:10:40.000Z (over 10 years ago)
- Last Synced: 2025-01-28T16:34:38.361Z (5 months ago)
- Language: Haskell
- Homepage:
- Size: 172 KB
- Stars: 2
- Watchers: 4
- Forks: 0
- Open Issues: 0