The IAL is now on github: https://github.com/cedille/ial Version 1.4 (see the releases section) works with Agda 2.5.4. ====================================================================== Older versions of the IAL: ---------------------------------------------------------------------- Version 1.3 of the IAL currently works with Agda 2.5.1 and 2.5.2: https://svn.divms.uiowa.edu/repos/clc/projects/agda/ial-releases/1.3 ---------------------------------------------------------------------- The development version of the IAL needs to be updated to work with Agda 2.5.3 (currently it works with 2.5.1 and 2.5.2). https://svn.divms.uiowa.edu/repos/clc/projects/agda/ial ---------------------------------------------------------------------- Agda 2.4.2.4 works with IAL 1.2: https://svn.divms.uiowa.edu/repos/clc/projects/agda/ial-releases/1.2 ---------------------------------------------------------------------- But Agda 2.4.2.5 does not work with the IAL (even the development version)