Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ulfnorell/agda-summer-school issues and pull requests
#5 - committed huu
Pull Request -
State: closed - Opened by ruuchaaa over 1 year ago
#4 - does not type check in Agda 2.6.0.1
Issue -
State: closed - Opened by rzil almost 5 years ago
- 1 comment
#3 - Unable to run Lambda.agda
Issue -
State: closed - Opened by arey0pushpa almost 9 years ago
- 1 comment
#2 - Agda 2.4.2.2 compatibility
Pull Request -
State: closed - Opened by andorp almost 10 years ago
#1 - Add utf8 char encoding to EmacsCheatSheet.html
Pull Request -
State: closed - Opened by IgnoredAmbience over 10 years ago