これは、LISPやSchemeに対する、The Little LisperやThe Little Schemerのような関係にある Coqに対するThe Little Proferらしい。 まだ最初の方しか読めていない。ややこしい。 focusをあてている部分にルールを適用するその仕方を繰り返し説明しているのだ…

数日前にAmazon.co.jpから届けられたこの本は、思っていたよりも巨大。 しかし、大きな絵がとてもいい。 元のタロットは、従来のタロットとはまったく違う絵だと思う。 不思議な絵で、見ているといろんなストーリーが浮かんでくる。 時間がいくらでもすぎて…