https://sites.google.com/site/clojurejapanesedocumentation/Clojureの日本語ドキュメントを整備しようというプロジェクトがあるようだ。 私も協力しようかな。

Prelude TAPL読んでることだし、FM_Forumでも型付きラムダ計算やってみるか Isabelle/HOLもやってみたい TAPL読書会は第２週で固定しましょうか http://staff.aist.go.jp/reynald.affeldt/seplog/ cocoatomoさんのTAPL発表資料 https://github.com/cocoatomo…