search

aommm / emna

Simple inductive prover with detailed proof output
BSD 3-Clause "New" or "Revised" License
0 stars 1 forks source link

TIP -> TIPProof? #2

Closed aommm closed 8 years ago

aommm commented 8 years ago

We should ideally create a TIPProof.bnfc, so that we don't break existing TIP files by backwards-incompatible changes such as #1. One problem is how to reuse code which is written for the TIP format for the TIPProof format, since much will be identical. We don't have subtyping in Haskell. Could typeclasses be used to simulate this somehow?

aommm commented 8 years ago

Fixed by copy-pasteing Convert.hs :-)