Computation and Deduction 2009/Test Page 1

From The Twelf Project
Jump to: navigation, search


%{ Notes }%

nat : type. z: nat. s: nat -> nat.

plus : nat -> type.