最新

val it : α → α = fun

<<  2005/09  >>

2005/09/01 rrencode

http://mono.kmc.gr.jp/~oxy/?rrencode

そうか、逆を行くという手があったのかあ。これはすばらしいです。