Ecosyste.ms: Issues

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

GitHub / JetBrains/Arend issues and pull requests

#3 - Typechecking of case expressions

Issue - State: closed - Opened by sxhya over 9 years ago - 1 comment
Labels: bug

#2 - Pass error lists to the ModuleLoader on init

Pull Request - State: closed - Opened by kirelagin over 9 years ago

#1 - Turn args of a binop into ordinary Expressions

Pull Request - State: closed - Opened by kirelagin over 9 years ago