Coq311 A course in Functional Programming and Data Structures Inspired by, and translated from, Cornell's CS 3110.