setupenv/use_agda_std_lib.sh
setupenv/use_agda_std_lib.sh

sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis,sharkspeed/dororis