Packages with the stdlib use flag

sci-mathematics / agda : A dependently typed functional programming language and proof assistant

  • Install the standard library.