Ecosyste.ms: Issues

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

GitHub / samsa1/usuba_coq issues and pull requests

#2 - Sketch a new syntax

Pull Request - State: open - Opened by pedagand over 1 year ago

#1 - defined a new semantic with a topological sort on the program

Pull Request - State: closed - Opened by samsa1 over 1 year ago