Ecosyste.ms: Issues

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

GitHub / mtoohey31/lott issues and pull requests

#5 - tweaks to Data.List

Pull Request - State: open - Opened by PhotonQuantum about 1 month ago - 4 comments

#4 - Investigate slowness of nonterminal elaboration

Issue - State: open - Opened by mtoohey31 4 months ago

#3 - Locally nameless id casting issues

Issue - State: open - Opened by mtoohey31 4 months ago

#2 - Generate symbol and judgement delaborators

Issue - State: open - Opened by mtoohey31 4 months ago

#1 - Add syntax sugar for defining judgement negations

Issue - State: open - Opened by mtoohey31 5 months ago