PLFA agda exercises
Creating tmp1
Creating tmp2
Saw _build
Saw tmp1
Saw tmp2
Removing tmp1
Removing tmp2