update to the most recent version of Agda
Closed this issue · 4 comments
cyrus- commented
This comment from one of the artifact reviewers is one thing that would need to be addressed:
In recent versions of Agda, the idiom brackets ⦇⦈ are reserved symbols, preventing the code from compiling. A simple search-and-replace (I replaced ⦇ by ⦇- and ⦈ by -⦈) fixed the problem. If it is not too much effort, it would be nice to rename these in the final version of the artefact as well.
cyrus- commented
It would be nice to have this done by the final artifact, at least.
cyrus- commented
It sounds like maybe the second artifact reviewer actually did this? Attempted to do this?
ivoysey commented
Yeah, that's an impressive amount of engagement from a reviewer. I'm pleasantly surprised; it sounded like they were, too!
ivoysey commented
from haskell:8.4.3
run cabal update
run cabal install alex
run cabal install happy
run cabal install Agda-2.5.4.2
copy . .
cmd ["agda" , "all.agda"]