Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / agda/agda issues and pull requests
#11 - @-pattern causes panic
Issue -
State: closed - Opened by GoogleCodeExporter about 9 years ago
- 1 comment
Labels: type: bug
#10 - primitive integers doesn't work
Issue -
State: closed - Opened by GoogleCodeExporter about 9 years ago
- 6 comments
Labels: type: bug
#9 - the termination checker can't see dotted patterns
Issue -
State: closed - Opened by GoogleCodeExporter about 9 years ago
- 1 comment
Labels: type: bug
#8 - the termination checker can't see dotted patterns
Issue -
State: closed - Opened by GoogleCodeExporter about 9 years ago
- 1 comment
Labels: type: bug
#7 - incorrect highlighting of operators with unsolved metas
Issue -
State: closed - Opened by GoogleCodeExporter about 9 years ago
- 1 comment
Labels: type: bug
#6 - colors not updated when using refine or auto
Issue -
State: closed - Opened by GoogleCodeExporter about 9 years ago
- 8 comments
Labels: ux: emacs, type: enhancement
#5 - naming dot-patterns using as-patterns doesn't work
Issue -
State: closed - Opened by GoogleCodeExporter about 9 years ago
- 2 comments
Labels: type: bug, dot patterns, parameter-refinement, as-patterns
#4 - The positivity checker can still see through abstract
Issue -
State: closed - Opened by GoogleCodeExporter about 9 years ago
- 8 comments
Labels: type: bug, abstract, positivity
#3 - Hidden argument not handled correctly when with function is generated
Issue -
State: closed - Opened by GoogleCodeExporter about 9 years ago
- 5 comments
Labels: type: bug
#2 - Constraint solving could be more flexible
Issue -
State: closed - Opened by GoogleCodeExporter about 9 years ago
- 5 comments
Labels: type: bug
#1 - non-existing names fixity declarations
Issue -
State: closed - Opened by GoogleCodeExporter about 9 years ago
- 4 comments
Labels: type: bug