[Agda] Agda installation for all users

Nils Anders Danielsson nad at cse.gu.se
Wed Feb 22 18:13:16 CET 2017


On 2017-02-09 14:43, Kenichi Asai wrote:
> Then, I want to install the standard library. After I place the
> standard library to an appropriate place [...]

You should perhaps also type-check every file from the library, in order
to generate all the .agdai files.

-- 
/NAD


More information about the Agda mailing list