bkc39 / Coq311

A course in Functional Programming and Data Structures
GNU General Public License v2.0
2 stars 0 forks source link

Coq311

A course in Functional Programming and Data Structures

Inspired by, and translated from, Cornell's CS 3110.