search

bkc39 / Coq311

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

Review courseware #4

Closed bennn closed 9 years ago

bennn commented 9 years ago

Check out the .emacs.d and .vimrc -- is anything else we want to include?

bkc39 commented 9 years ago

This looks fine to me.