- C++でARCのライブラリ
- ats ATS周りのドキュメント
- clean Clean言語を使ってみる。
- erlang erlangのドキュメント
- generalization OCamlの型推論の翻訳
- haskell ハスケルのドキュメント
- hobby 趣味のドキュメント
- match パターンマッチ関連
- mddocs マークダウンをソースコードのドキュメントにするとか市内とか
- newml OCamlの別シンタックスの言語を作ってみたもの。Camlupの原型
- ocaml OCaml関連のドキュメント
- odoctest OCamlのコメントにテストが書ける代物
- ounit ounitを使ってみる
- pi π計算の実装例
- pp_ast astのプリティプリント例
- printer プリティプリントの例
- scala scala関連のドキュメント
- sstp gitでコミットするとうかがかに褒められる
- thih Haskellの型推論についての論文の翻訳
- traittable 拡張可能なトレイトの実装
- typetheory 型理論入門
- scala/ftdop Scalaで書いた、簡単なインタプリタ350行くらいだけど、Cの様な文法でマクロも動きます。
- pp_ast トランスレータを作る実験
- printer OCamlのプリティプリントを使う方法
- ocaml/ocaml_src_reading/parsing OCamlのパーサにコメントを追加して、プリティプリントにコメントを追加する例
- ocaml/pprint プリティプリントに対する考察