search

bkc39 / Coq311

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

Cheat sheets #2

Open bennn opened 9 years ago

bennn commented 9 years ago
bkc39 commented 9 years ago

what constitutes a cheat sheet?

Do we really want to advocate anyone use CoqIDE over emacs?

bennn commented 9 years ago

"reference sheet" is a better word. For emacs, we can adapt the 3110 one. http://www.cs.cornell.edu/Courses/cs3110/2015sp/courseware/emacs_guide.pdf

I'd like a 1-page overview and 1 page of common commands. (CoqIDE is yucky but I think we should support it.)

bkc39 commented 9 years ago

We can start plugging these into the lectures directory once we merge in the Makefile from #7.