Published November 24, 2022
| Version v0.1.7.1a
Software
Open
agda/agda-categories: To match stdlib-1.7.1
Authors/Creators
- 1. McMaster University
- 2. McGill University
- 3. https://compose.ioc.ee
- 4. FAU Erlangen-Nürnberg, Lehrstuhl 8
- 5. University of Michigan CSE
- 6. @jedox-ag
- 7. Meta Platforms, Inc.
- 8. (open to employment)
- 9. Tallinn University of Technology
- 10. @well-typed
Description
This is just a compatibility release.
Files
agda/agda-categories-v0.1.7.1a.zip
Files
(644.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:49f51534c0fe91339298d6a9d066acab
|
644.3 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/agda/agda-categories/tree/v0.1.7.1a (URL)