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