Search results

Support for GHC 8.4.2

ghc-8.4.2

type: enhancement

Status: Open.

#100 In asr/apia;

· asr opened on Jan 15, 2018

Multiple arity symbol

translation

type: bug

Status: Open.

#98 In asr/apia;

· jechev28 opened on Mar 15, 2017

Error when translating schematic-propositional-symbols and not hard-coded symbols

translation

type: bug

Status: Open.

#96 In asr/apia;

· asr opened on Jan 29, 2017

Apia doesn't know how to erase proof terms in the definitions

status: blocking

translation

type: bug

type: regression

Status: Open.

#81 In asr/apia;

· asr opened on Dec 26, 2016

Internal error related to eta-expansion

eta-expansion

status: blocked

translation

type: bug

Status: Open.

#78 In asr/apia;

· asr opened on Nov 7, 2016

Conflict with the new Agda library management

agda

type: bug

Status: Open.

#77 In asr/apia;

· asr opened on Nov 7, 2016

With an empty .apia file, we get an error.

command-line-options

type: bug

Status: Open.

#66 In asr/apia;

· jonaprieto opened on Aug 28, 2016

Passing extra options to the ATPs

type: enhancement

Status: Open.

#63 In asr/apia;

· asr opened on Aug 27, 2016

Error in the translation of a definition

translation

type: bug

Status: Open.

#27 In asr/apia;

· asr opened on Apr 2, 2016

tptp4X found an error

eagda

type: enhancement

Status: Open.

#26 In asr/apia;

· asr opened on Apr 2, 2016

Apia doesn't support Agda "dead code" new feature

type: bug

Status: Open.

#22 In asr/apia;

· asr opened on Apr 2, 2016

Missing HOL error

type: bug

Status: Open.

#19 In asr/apia;

· asr opened on Apr 2, 2016