読者です 読者をやめる 読者になる 読者になる

人力型推論

一番最初にロードされるべき型環境を、人手で推論しながら書いてます。

自由型変数大杉。束縛し忘れると多相型にならなくてあぼーん。いろいろ試したが多分手書きが一番楽ちん。



ああああああああーーーーもうーーーーーーー!!!!