Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / deducteam/agda2dedukti issues and pull requests
#6 - Problems with stdlib translation
Issue -
State: open - Opened by thiagofelicissimo about 3 years ago
- 2 comments
#5 - Runs tests on pull requests
Pull Request -
State: closed - Opened by thiagofelicissimo about 3 years ago
- 2 comments
#4 - Continuous integration missing
Issue -
State: closed - Opened by fblanqui about 3 years ago
- 1 comment
#3 - Updates Deducteam's repository with latest version
Pull Request -
State: closed - Opened by thiagofelicissimo about 3 years ago
- 16 comments
#2 - Which ghc libraries are needed to compile Agda2Dedukti ?
Issue -
State: closed - Opened by fblanqui over 4 years ago
- 1 comment
#1 - Renaming and moving theory files
Pull Request -
State: closed - Opened by GuillaumeGen about 5 years ago