Last Updated：2022/12/24
A lambda term can have one of these three forms: (1) a variable by itself, (2) a lambda abstraction, (3) an application of one lambda term to another one.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
