Ecosyste.ms: Issues

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

GitHub / ilya-klyuchnikov/ttlite issues and pull requests

#86 - travis cleanup

Pull Request - State: closed - Opened by ilya-klyuchnikov over 6 years ago

#85 - better error messages for incorrect usage of a prebuilt id

Pull Request - State: closed - Opened by ilya-klyuchnikov over 6 years ago

#81 - scala 2.12.4 and sbt 1.0.2

Pull Request - State: closed - Opened by ilya-klyuchnikov over 7 years ago

#80 - Use brew bundle

Pull Request - State: closed - Opened by stephengroat over 7 years ago

#79 - sbt 1.0

Pull Request - State: closed - Opened by ilya-klyuchnikov over 7 years ago

#78 - Idris 1.0 + travis osx

Pull Request - State: closed - Opened by ilya-klyuchnikov over 7 years ago

#75 - Re-enabling export to Idris

Pull Request - State: closed - Opened by ilya-klyuchnikov over 9 years ago

#74 - update syntax to Agda 2.4.x

Pull Request - State: closed - Opened by ilya-klyuchnikov about 10 years ago

#73 - Formalization in Coq. Export to Coq (closes #58)

Pull Request - State: closed - Opened by ilya-klyuchnikov over 10 years ago

#63 - agda

Pull Request - State: closed - Opened by ilya-klyuchnikov over 11 years ago

#56 - Error handling

Pull Request - State: closed - Opened by ilya-klyuchnikov over 11 years ago