Haskell: различия между версиями
>WRAR м Правки 81.3.180.50 (обсуждение) откачены к версии СтоПятьсот |
|||
| Строка 132: | Строка 132: | ||
Пишет Великий Факториал как: | Пишет Великий Факториал как: | ||
<pre> | |||
data Term = Occ Var | data Term = Occ Var | ||
| Строка 191: | Строка 193: | ||
fac n = prjNum (eval [] (App facTerm (Lit n))) | fac n = prjNum (eval [] (App facTerm (Lit n))) | ||
</pre> | |||
=== [[Григорий Перельман]] - 4 уровень === | === [[Григорий Перельман]] - 4 уровень === | ||