On 15 December 2015 at 15:20, Sergei Meshveliani <mechvel at botik.ru> wrote: > And where is its Standard library? You can use the standard library that you are using with the development version of Agda. -- Andrés