Skip to content

Instantly share code, notes, and snippets.

@dcolish

dcolish/foo.maude

Created July 19, 2012 16:42
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save dcolish/3145189 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save dcolish/3145189 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
foo.maude
fmod PEANO-NAT-EXTRA is
sort Nat .
op 0 : -> Nat [ctor] .
op s : Nat -> Nat [ctor iter] .
op _+_ : Nat Nat -> Nat .
vars M N : Nat .
eq 0 + N = N .
eq s(M) + N = s(M + N) .
endfm
rewrite s(s(0)) + s(0) .
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment