Ecosyste.ms: Issues

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

GitHub / egison/sweet-egison issues and pull requests

#7 - Fix CI

Pull Request - State: closed - Opened by momohatt almost 4 years ago

#6 - version 0.1.1.1

Pull Request - State: closed - Opened by egisatoshi almost 4 years ago

#5 - apply wildcard optimization for the first argument of joinCons

Pull Request - State: closed - Opened by egisatoshi about 4 years ago

#4 - Warning when using predicate pattern

Issue - State: open - Opened by momohatt about 4 years ago

#3 - Fix failing test

Pull Request - State: closed - Opened by momohatt about 4 years ago

#2 - Pair of patterns with value pattern must also have value pattern

Pull Request - State: closed - Opened by momohatt about 4 years ago - 1 comment

#1 - Develop

Pull Request - State: closed - Opened by egisatoshi about 4 years ago