2009-08-04から1日間の記事一覧
こないだからレイアウトは述語と合成がいいとチラチラ言っているので、今のところ考えている述語を晒す。 type point = int * int type size = int * int type rect = point * size type independent = (* 自らsizeが決まるもの *) [ `Fix of size | `Prefer…
こないだからレイアウトは述語と合成がいいとチラチラ言っているので、今のところ考えている述語を晒す。 type point = int * int type size = int * int type rect = point * size type independent = (* 自らsizeが決まるもの *) [ `Fix of size | `Prefer…