[Agda] how to include Data.List without conflict with agda-prelude

Andrés Sicard-Ramírez asr at eafit.edu.co
Sat Jan 2 14:20:46 CET 2016


On 2 January 2016 at 08:01, Mandy Martino <tesleft at hotmail.com> wrote:
> MAlonzo/Code/Agda/Primitive.hs:4:18:
>     Could not find module `Agda.FFI'
>     Use -v to see a list of the files searched for.

See README.agda from the standard library.


-- 
Andrés


More information about the Agda mailing list