GitHub / agda / agda-stdlib-classes
Extension of Agda's standard library to accommodate a more typeclass-friendly interface.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib-classes
Stars: 3
Forks: 3
Open issues: 4
License: mit
Language: Agda
Size: 25.5 MB
Dependencies parsed at: Pending
Created at: over 1 year ago
Updated at: about 1 month ago
Pushed at: 26 days ago
Last synced at: 26 days ago
Loading...