search

bkc39 / Coq311

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

Document process for adding lectures. #12

Open bkc39 opened 9 years ago

bkc39 commented 9 years ago

The Makefile in #8 assumes a particular directory structure lectures. Document the workflow for plugging a new lecture into the current framework.