2010-04-22から1日間の記事一覧
Signature File sig lc. kind tm,ty type. type c tm. type app tm -> tm -> tm. type abs (tm -> tm) -> tm. type top ty. type arrow ty -> ty -> ty. type ty ty -> o. type of tm -> ty -> o. type step tm -> tm -> o.Module File module lc. ty top. t…