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: 5

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...
    Dependencies
    haskell-tests/haskell-tests.cabal hackage