Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / andorp/deppy issues and pull requests
#4 - agda implementation of def equality
Issue -
State: open - Opened by txa about 1 month ago
#3 - agda evaluator for open terms
Issue -
State: open - Opened by txa about 1 month ago
#2 - Implement elaboration
Issue -
State: closed - Opened by andorp 10 months ago
#1 - Add examples
Issue -
State: closed - Opened by andorp 10 months ago