GitHub repository: AFPChalmers15/AFPcourse
Primary language: Haskell
Description: http://www.cse.chalmers.se/edu/course/afp/