Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / langston-barrett/coq-typeclass-hierarchy issues and pull requests

#12 - Set up dpdusage in Travis CI

Issue - State: open - Opened by langston-barrett about 8 years ago

#11 - travis: build html, push to gh-pages

Pull Request - State: closed - Opened by langston-barrett about 8 years ago

#10 - Investigate Proviola

Issue - State: open - Opened by langston-barrett about 8 years ago

#9 - Push documentation to github pages with Travis

Issue - State: closed - Opened by langston-barrett about 8 years ago

#8 - instances/semigroup: nat (+) monoid

Pull Request - State: closed - Opened by langston-barrett about 8 years ago

#7 - Consider making Monoid a Type, rather than Set

Issue - State: open - Opened by langston-barrett about 8 years ago

#6 - rename unit

Issue - State: open - Opened by langston-barrett about 8 years ago

#5 - Writer monad

Pull Request - State: closed - Opened by langston-barrett about 8 years ago

#4 - default.nix: make it a function

Pull Request - State: closed - Opened by langston-barrett about 8 years ago

#2 - init apply, monad, bind

Pull Request - State: closed - Opened by langston-barrett about 8 years ago

#1 - Pin nixpkgs 17.03

Issue - State: open - Opened by langston-barrett about 8 years ago