[Agda] Dev. version woes -- Agda/Prim.agda

[gallais]

Hi Jacques,

It should be in the darcs version you grabbed from haskell.org:

http://code.haskell.org/Agda/src/data/lib/prim/Agda/Prim.agda

On 07/11/13 14:56, Jacques Carette wrote:
> Should there be a file named Agda/Prim.agda somewhere in my version?
> [There isn't].  It is neither in the version of Agda I grabbed this
> morning from http://code.haskell.org/Agda, nor in the development
> standard library grabbed from |http://www.cse.chalmers.se/~nad/repos/lib/.
>
> Jacques
> |
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>