Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / pcapriotti/agda-base issues and pull requests
#6 - How is this repo related to HoTT/HoTT-Agda?
Issue -
State: closed - Opened by langston-barrett over 8 years ago
- 1 comment
#5 - function.extensionality is broken in Agda 2.5.1
Issue -
State: closed - Opened by mietek over 8 years ago
- 1 comment
#4 - Add precedence annotations
Pull Request -
State: closed - Opened by mietek over 8 years ago
- 1 comment
#3 - Final is a proposition
Pull Request -
State: closed - Opened by rs- about 10 years ago
- 1 comment
#2 - Doesn't type-check on 2.4.2
Issue -
State: closed - Opened by Fuuzetsu over 10 years ago
- 2 comments
#1 - LICENSE file
Issue -
State: closed - Opened by Fuuzetsu over 10 years ago