Typechecking_J.v 一応訳了。冒頭の "MoreStlc: A Typechecker for STLC" は "Typechecking: A Typechecker for STLC" の間違いと解釈
Typechecking_J.v 一応訳了。冒頭の "MoreStlc: A Typechecker for STLC" は "Typechecking: A Typechecker for STLC" の間違いと解釈

chiguri/sfja,kiripon/sfja,moritanon/sfja,sfja/sfja