Ecosyste.ms: Issues

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

GitHub / ollef/bidirectional issues and pull requests

#8 - DO NOT MERGE: Add Integer type and successor function

Pull Request - State: closed - Opened by andrewthad over 4 years ago

#8 - DO NOT MERGE: Add Integer type and successor function

Pull Request - State: closed - Opened by andrewthad over 4 years ago

#7 - Make projects build with newer GHCs

Pull Request - State: closed - Opened by andrewthad over 4 years ago

#6 - is the alpha-conversion in instantiation really necessary (InstLAIIR)?

Issue - State: closed - Opened by ghost about 5 years ago - 3 comments

#5 - How to extend with type applications

Issue - State: open - Opened by atennapel over 6 years ago - 14 comments

#3 - Does not subsume Hindley-Milner?

Issue - State: closed - Opened by atennapel over 7 years ago

#2 - "The impossible happened!"

Issue - State: closed - Opened by samuela almost 9 years ago - 6 comments

#1 - Some fixes

Pull Request - State: closed - Opened by AndrasKovacs almost 11 years ago - 3 comments