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

#7 - self

Issue - State: open - Opened by txa 3 months ago

#6 - higher methods

Issue - State: open - Opened by txa 4 months ago - 1 comment

#5 - test open evaluator

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

#4 - agda implementation of def equality

Issue - State: open - Opened by txa 4 months ago - 1 comment

#3 - agda evaluator for open terms

Issue - State: closed - Opened by txa 4 months ago

#2 - Implement elaboration

Issue - State: closed - Opened by andorp about 1 year ago

#1 - Add examples

Issue - State: closed - Opened by andorp about 1 year ago