search

asr / apia

Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic
MIT License
6 stars 0 forks source link

Internal error #15

Closed asr closed 8 years ago

asr commented 8 years ago

From @asr on November 20, 2014 22:49

Some files in FOTC are generating

An internal error has occurred. Please report this as a bug.
Location of the error: src/Apia/FOL/Translation/Terms.hs:494

Grep for issue 15 in FOTC.

asr commented 8 years ago

Fixed by https://github.com/asr/apia/commit/35de6205eb2d58143dce03cf82f64af1cc1dbf9e.