PLFA agda exercises
name: standard-library-tests
include: ../src/ .