PLFA agda exercises
$HOME/plfa/standard-library/standard-library.agda-lib
$HOME/plfa/src/plfa.agda-lib