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

[Jacques Carette]

Did another darcs pull, and this time it did appear.  Recompiling - thanks.
Jacques

On 13-11-07 10:12 AM, gallais wrote:
> 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
>>