Mopteh icon

Spartan

Mopteh | PRO | 02/09/10 08:17:02 PM UTC | 0 ⭐ | 245 👁️ | Never ⏰ | []
text |

100 B

|

None

|

0 👍

/

0 👎

Raw Download Clone Embed Print View 
fmod NATURALS-SIGN is
   sort Nat .
  op 0 : -> Nat [ctor] .
  op s : Nat -> Nat [ctor] .
 endfm

Comments