Data

Tools

Indexes

Applications

Experiments

Issues

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

GitHub / pcapriotti/agda-categories issues and pull requests

#1 - loading zero.agda

Issue - State: open - Opened by nrolland almost 9 years ago - 3 comments