pi8027/typeinfer — Issue #62: 3.4.1 誤記: P-App → P-Abs
Author: mzp
Created: 2012-02-06 16:05:26+00:00
State: open

https://github.com/pi8027/typeinfer/blob/1ebbc87e5ec5327f92819ade50e6739692e2d090/book/typeinfer-poly.tex#L399

「規則 P-App」に関する説明が2連続していますが、後者は「P-Abs」に関する説明ではないでしょうか?