セオリーの圏 : Goguen & Burstall のinstitutionsを拡張したいのです。 最近のエントリの「仕様の話」「もっと仕様の話」とか、HOL + Prosperであがいていることとかに関係します。そうは思えないかもしれないけど、関係しますね、相当に。

Prosperのサイト（http://www.dcs.gla.ac.uk/prosper/toolkit/）が復旧したので、Prosperをダウンロード。Windows上で、Moscow MLを作り直し、その後Prosper自体を作らねばならない。ダイナミックロードにWindowsのDLLメカニズムは使えず、環境変数LD_LIBRAR…