Ecosyste.ms: Issues

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

GitHub / thautwarm/idris-python issues and pull requests

#3 - use Quick-backend as the underlying implementation

Issue - State: open - Opened by thautwarm almost 5 years ago

#2 - MacOS support

Issue - State: open - Opened by bmwant almost 5 years ago - 2 comments

#1 - Unsafe coercion leads to the missing of datatype definition and construction

Issue - State: open - Opened by thautwarm almost 6 years ago