Skip to content

Instantly share code, notes, and snippets.

@ncaq

ncaq/fact.maude

Created December 1, 2016 05:08
Show Gist options
  • Save ncaq/8461d1a498e8f1735f78369e81661f91 to your computer and use it in GitHub Desktop.
Save ncaq/8461d1a498e8f1735f78369e81661f91 to your computer and use it in GitHub Desktop.
Download ZIP
2016-05に記述,maudeによる階乗計算
Raw
fact.maude
fmod fact is
protecting INT .
var N : Nat .
op fact_ : Nat -> Nat .
eq fact(0) = 1 .
eq fact(N) = fact(N - 1) * N .
endfm
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment