1
0
mirror of https://github.com/namibia/free-programming-books.git synced 2024-11-07 13:58:03 +00:00

Merge pull request #431 from pirapira/master

++Coq
This commit is contained in:
vhf / victor felder 2013-11-27 06:22:40 -08:00
commit 7d02b2bbda

View File

@ -19,6 +19,7 @@
* [Clojure](#clojure)
* [CoffeeScript](#coffeescript)
* [Common Lisp](#common-lisp)
* [Coq](#coq)
* [Emacs Lisp](#emacs-lisp)
* [Erlang](#erlang)
* [Git](#git)
@ -204,6 +205,10 @@
* [Google Common Lisp スタイルガイド 日本語訳](http://google-common-lisp-style-guide-ja.cddddr.org/) - Robert Brown, François-René Rideau, TOYOZUMIKouichi 他(翻訳)
###Coq
* [ソフトウェアの基礎](http://proofcafe.org/sf/) - Benjamin C. Pierce, Chris Casinghino, Michael Greenberg, Vilhelm Sjöberg, Brent Yorgey, 梅村晃広(翻訳), 片山功士(翻訳), 水野洋樹(翻訳), 大橋台地(翻訳), 増子萌(翻訳), 今井宜洋(翻訳)
###Emacs Lisp
* [Emacs Lisp基礎文法最速マスター](http://d.hatena.ne.jp/rubikitch/20100201/elispsyntax) - id:rubikitch
* [GNU Emacs Lispリファレンスマニュアル](http://www.bookshelf.jp/texi/elisp-manual/21-2-8/jp/elisp.html)