Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / lclem/agda-kernel issues and pull requests

#10 - Supported Agda versions

Issue - State: closed - Opened by wenkokke about 4 years ago - 4 comments

#8 - wrong hole order in the presence of where clauses

Issue - State: open - Opened by lclem about 5 years ago

#7 - merge

Pull Request - State: closed - Opened by lclem over 5 years ago

#6 - Completion Issues (Give instead of Case Split)

Issue - State: closed - Opened by zampino over 5 years ago - 6 comments

#5 - support for parametrised modules

Issue - State: open - Opened by lclem over 5 years ago

#4 - incremental output

Issue - State: open - Opened by lclem almost 6 years ago

#3 - allow a single module to span several code cells

Issue - State: closed - Opened by lclem almost 6 years ago - 1 comment

#2 - support for Agsy auto command

Issue - State: closed - Opened by lclem almost 6 years ago - 1 comment
Labels: enhancement

#1 - support for OPTIONS pragma

Issue - State: closed - Opened by lclem almost 6 years ago - 1 comment
Labels: enhancement