Coq311
所属分类：Coq
开发工具：Emacs Lisp
文件大小：0KB
下载次数：0
上传日期：2015-02-28 02:18:49
上 传 者：
sh-1993
说明： 函数编程和数据结构课程，
(A course in Functional Programming and Data Structures,)
文件列表:
LICENSE (18027, 2015-02-26)
courseware/ (0, 2015-02-26)
courseware/config/ (0, 2015-02-26)
courseware/config/autostart/ (0, 2015-02-26)
courseware/config/autostart/lxterminal.desktop (65, 2015-02-26)
courseware/config/background.jpg (96599, 2015-02-26)
courseware/config/chromium/ (0, 2015-02-26)
courseware/config/chromium/Default/ (0, 2015-02-26)
courseware/config/chromium/Default/Preferences (17998, 2015-02-26)
courseware/config/lxpanel/ (0, 2015-02-26)
courseware/config/lxpanel/LXDE/ (0, 2015-02-26)
courseware/config/lxpanel/LXDE/config (81, 2015-02-26)
courseware/config/lxpanel/LXDE/panels/ (0, 2015-02-26)
courseware/config/lxpanel/LXDE/panels/panel (1952, 2015-02-26)
courseware/config/pcmanfm/ (0, 2015-02-26)
courseware/config/pcmanfm/LXDE/ (0, 2015-02-26)
courseware/config/pcmanfm/LXDE/pcmanfm.conf (466, 2015-02-26)
courseware/emacs.d/ (0, 2015-02-26)
courseware/emacs.d/init.el (3499, 2015-02-26)
courseware/emacs.d/package-customizations.el (1942, 2015-02-26)
courseware/emacs.d/packages.el (2385, 2015-02-26)
courseware/tex/ (0, 2015-02-26)
courseware/tex/coq311.sty (2369, 2015-02-26)
courseware/tex/coq311notes.cls (1016, 2015-02-26)
courseware/tex/coq311pset.cls (1125, 2015-02-26)
courseware/vimrc (435, 2015-02-26)
hw/ (0, 2015-02-26)
lectures/ (0, 2015-02-26)
# Coq311
A course in Functional Programming and Data Structures
Inspired by, and translated from, Cornell's
[CS 3110](http://www.cs.cornell.edu/Courses/cs3110/2014fa/).
近期下载者：
相关文件：
收藏者：