Insert times into agda script
Update makefile