$`\newcommand{\Imp}{\mathop{ =\!\!\triangleright }} \newcommand{KER}{ \mathrel{\stackrel{\rightharpoonup}{\sim}} } % Kleene Equarity Right \newcommand{KEL}{ \mathrel{\stackrel{\leftharpoonup}{\sim}} } % Kleene Equarity Left \newcommand{\le…

主語 we 動詞 declare, define, approve〈アプルーブ〉 副動詞 request, respond 名前の修飾語 type, function typeへの副修飾語 logical, type-param, prop-param functionへの副修飾語 section, bundle, type-velued, prop-valued, partial 終止語 end そ…