Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / jbracker / polymonad-proofs
Agda proofs about polymonads
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jbracker%2Fpolymonad-proofs
Stars: 8
Forks: 1
Open Issues: 0
License: None
Language: Agda
Repo Size: 1.37 MB
Dependencies:
0
Created: almost 9 years ago
Updated: almost 2 years ago
Last pushed: over 5 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
No dependencies found