Hi, We plan to release a new version of Agda soon. If there are any major problems with the current development version, please let us know as soon as possible. Note that Agda no longer builds using GHC 6.12. If this is a problem for you, please let us know. -- /NAD