The Nest
Explore
0
PLFA agda exercises 
name: standard-library-doc
include: . ../src
flags:
  --warning=noUnsupportedIndexedMatch