[Agda] [ANNOUNCE] Agda 2.5.1

[Andrew Pitts]

On 20 April 2016 at 14:48, Ulf Norell <ulf.norell at gmail.com> wrote:
> Unless you have multiple Agda files needing different libraries in the same
> directory, the suggested way to do this is adding a .agda-lib file with a
> 'depend:' field to the directory (or a parent directory) containing the
> code.

Don’t you mean an `include:’ field rather than a `depend:’ field?

Andy