agda/test/Compiler/with-stdlib/tests.agda-lib

name: stdlib-tests
include:
  .
  ../../../std-lib/
  ../../../std-lib/src