The main project is a variation on the 2004 ICFP Programming Contest, Ants. I’ve set up a GitHub repository with a problem description, source code, and sample files to get you started.
The project is not due until the last week of class, but I strongly recommend that you start setting up your machine and start reading the problem description now.
I’ve uploaded a collection of small programming assignments.
The first chapter contains a lot of small exercises that you should be able to complete easily enough if you’ve already completed the course on Functional Programming.
I’ll ask you to submit a series of these small exercises over the coming weeks to practice with the material that we’ve seen in class.
Please submit all your solutions to Submit before the specified deadline.
Please submit the following exercises before Monday, Feb 20.
Please submit the following exercises before Monday, Feb 27.
Further assignments will be announced in due course.
Please submit the following exercises before Tuesday, March 7.
Please submit the following exercises before Friday, March 17.
2.10.5-2.10.7 (10%) Unsafe I/O
2.2.4 (15%) Tries
2.11.2 (25%) Generics
2.2.6 (25%) Partiality monad
2.6.1 (25%) Contracts
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.