PLFA agda exercises
standard-library
 ├ Agda
 │  ├ Haskell
 │  │  ├ Haskell (bootstrap)
 │  │  └ C
 │  ├ cabal
 │  │  └ Haskell
 │  │     ├ Haskell (bootstrap)
 │  │     └ C
 │  ├ alex
 │  │  └ Haskell
 │  │     ├ Haskell (bootstrap)
 │  │     └ C
 │  └ happy
 │     └ Haskell
 │        ├ Haskell (bootstrap)
 │        └ C
 ├ cabal
 │  └ Haskell
 │     ├ Haskell (bootstrap)
 │     └ C
 └ Haskell
    ├ Haskell (bootstrap)
    └ C