https://github.com/thsutton/cha
A port of miniprl to Haskell with co-/inductive types bolted on the side.
https://github.com/thsutton/cha
Last synced: over 1 year ago
JSON representation
A port of miniprl to Haskell with co-/inductive types bolted on the side.
- Host: GitHub
- URL: https://github.com/thsutton/cha
- Owner: thsutton
- License: bsd-3-clause
- Created: 2016-04-14T12:05:04.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2016-05-13T09:56:54.000Z (about 10 years ago)
- Last Synced: 2025-03-28T07:02:57.955Z (over 1 year ago)
- Language: Haskell
- Homepage:
- Size: 54.7 KB
- Stars: 22
- Watchers: 3
- Forks: 2
- Open Issues: 6