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