knowledge
/
programming-books
mirror of https://github.com/namibia/free-programming-books.git
1
0
Fork 0
Code Issues Releases Activity

++Coq

This commit is contained in:
Yoichi Hirai 2013-11-27 04:27:05 +01:00
parent f5017c840c
commit 421270e111
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
free-programming-books-ja.md
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)