Ecosyste.ms: Issues

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

GitHub / goldfirere/thesis issues and pull requests

#10 - IxMonad (EffM m)

Issue - State: closed - Opened by Icelandjack over 7 years ago - 2 comments

#9 - SubListProof & ElemProof can be marked injective

Issue - State: closed - Opened by Icelandjack over 7 years ago - 3 comments

#8 - Typo

Pull Request - State: closed - Opened by int-index over 8 years ago - 3 comments

#7 - Is "frob :: forall a. F a -> F [a]" inherently ambiguous?

Issue - State: closed - Opened by Icelandjack over 8 years ago - 1 comment

#5 - Tell a story about TypeRep

Issue - State: open - Opened by goldfirere over 8 years ago

#4 - Explain `noway` code

Issue - State: open - Opened by goldfirere over 8 years ago

#3 - Modify code to work with Coq 8.4pl6

Pull Request - State: closed - Opened by jwiegley almost 9 years ago

#2 - Makefile: automatically download submodules

Pull Request - State: closed - Opened by parkr over 9 years ago - 1 comment

#1 - Include dependencies in the README to ease setup.

Pull Request - State: closed - Opened by parkr over 9 years ago - 2 comments