I’ve uploaded a collection of three worlds. Please generate ants for these worlds for the tournament.
I’ve uploaded a set of Agda exercises for you to complete.
Please submit this last set of exercises no later than Friday, March 31.
I’ve updated the assignments page with more information about the fourth assignment set.
I’ve added more information about assignments, including the third set that is due next week Tuesday.
Welcome to the new homepage of Advanced functional programming. More content about this new course will appear here shortly.