Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / rudynicolop / Coq-Type-Classes
A library of coq type classes and instances.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rudynicolop%2FCoq-Type-Classes
Stars: 0
Forks: 0
Open Issues: 2
License: None
Language: Coq
Repo Size: 133 KB
Dependencies:
0
Created: over 3 years ago
Updated: almost 2 years ago
Last pushed: almost 2 years ago
Last synced: about 1 year ago
Topics: applicative-functors, coq, functor, monad, monad-transformers
Files
Loading...
Readme
Loading...
No dependencies found