同義語、同義語

用語法 論理

全部事実上同義語。

平叙文 疑問文
型判断 型質問
シーケント 質問シーケント
関数定義 関数定義要求
定理記述 定理証明要求
クロージャ
大きいラムダ式
大きいタプル
大きいlet式