Skip to content

Issues: asr/apia

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

15 Open 50 Closed
15 Open 50 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Support for GHC 8.4.2 ghc-8.4.2 type: enhancement
#100 opened Jan 15, 2018 by asr
@asr
2
Multiple arity symbol translation type: bug
#98 opened Mar 15, 2017 by jechev28
@asr
3
Error when translating schematic-propositional-symbols and not hard-coded symbols translation type: bug
#96 opened Jan 29, 2017 by asr
@asr
Apia doesn't know how to erase proof terms in the definitions status: blocking translation type: bug type: regression
#81 opened Dec 26, 2016 by asr
@asr
2
Internal error related to eta-expansion eta-expansion status: blocked translation type: bug
#78 opened Nov 7, 2016 by asr
@asr
1
Conflict with the new Agda library management agda type: bug
#77 opened Nov 7, 2016 by asr
@asr
With an empty .apia file, we get an error. command-line-options type: bug
#66 opened Aug 28, 2016 by jonaprieto
@asr
5
Passing extra options to the ATPs type: enhancement
#63 opened Aug 27, 2016 by asr
Error in the translation of a definition translation type: bug
#27 opened Apr 2, 2016 by asr
@asr
tptp4X found an error eagda type: enhancement
#26 opened Apr 2, 2016 by asr
@asr
4
Apia doesn't support Agda "dead code" new feature type: bug
#22 opened Apr 2, 2016 by asr
@asr
3
Missing HOL error type: bug
#19 opened Apr 2, 2016 by asr
@asr
All the arguments are required in an ATP definition agda translation type: bug
#11 opened Apr 2, 2016 by asr
@asr
1
Translation of functions status: blocked translation type: bug type: regression
#4 opened Apr 2, 2016 by asr
@asr
5
Problem with the translation of internal lambda-terms eta-expansion translation type: bug type: regression
#2 opened Apr 2, 2016 by asr
@asr
1
ProTip! Find all open issues with in progress development work with linked:pr.