Ecosyste.ms: Issues

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

GitHub / andorp/deppy issues and pull requests

#4 - agda implementation of def equality

Issue - State: open - Opened by txa about 1 month ago

#3 - agda evaluator for open terms

Issue - State: open - Opened by txa about 1 month ago

#2 - Implement elaboration

Issue - State: closed - Opened by andorp 10 months ago

#1 - Add examples

Issue - State: closed - Opened by andorp 10 months ago