Ecosyste.ms: Issues

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

GitHub / tonymorris/parametricity issues and pull requests

#2 - Non-totality and turing-completeness

Issue - State: open - Opened by tonymorris almost 11 years ago

#1 - Add missing type parameter 'A' to forallM

Pull Request - State: closed - Opened by gseitz almost 11 years ago - 2 comments