https://github.com/philzook58/not-bad-ccc
Another tact on compiling to categories without a plugin
https://github.com/philzook58/not-bad-ccc
category-theory
Last synced: 6 months ago
JSON representation
Another tact on compiling to categories without a plugin
- Host: GitHub
- URL: https://github.com/philzook58/not-bad-ccc
- Owner: philzook58
- License: bsd-3-clause
- Created: 2018-12-21T05:40:38.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2019-01-08T20:50:50.000Z (almost 7 years ago)
- Last Synced: 2024-05-02T01:02:05.497Z (over 1 year ago)
- Topics: category-theory
- Language: Haskell
- Size: 25.4 KB
- Stars: 10
- Watchers: 4
- Forks: 1
- Open Issues: 0