The Nest
Explore
0
PLFA agda exercises 
resolver: lts-16.31
compiler: ghc-8.8.4
compiler-check: match-exact

packages:
- '.'