- 日時 :2006/9/4 (Mon)
- 場所 :名大 理学部1号館(多元数理科学研究科) 307室
- 時刻 :18:00〜19:30
- 参加者:6名
- 内容
- Wiki by OCaml (みずの)
- .ml, mli, .cmo, .cmiファイルとsignatureの関係について
- 使ってるライブラリは?
- schemeをテンプレートに組み込んで、動的にページ構成を変更できるようにしたよ
例えば ["FrontPage"; "foo"] のように複数のページを受け取って,これをschemeで 一つのページにまとめるような 「テンプレート」ができる。
- ==> wiki文法に、他のページを参照(インクルード)するような仕組みも良くない?
- Proof Systems of Propositional Logic in Objective Caml (よしひろ)