https://github.com/jacquescarette/species
https://github.com/jacquescarette/species
Last synced: 4 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/jacquescarette/species
- Owner: JacquesCarette
- Created: 2018-02-09T18:12:12.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2019-12-29T19:42:01.000Z (over 6 years ago)
- Last Synced: 2025-10-28T18:51:38.348Z (8 months ago)
- Language: Agda
- Size: 1.4 MB
- Stars: 5
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Working out what it could mean to use Species as type constructors, rather
than just polynomial Functors.