文件名称:hse-haskell-2021-家庭作业
文件大小:7KB
文件格式:ZIP
更新时间:2024-02-28 20:41:09
Haskell
Срокисдачи Мягкийдедлайн:22февраля,23:59 MSK。 截止日期:25фе,23:59 MSK(каждоезаданиеоцениваетсясоштрафом-0.25балла)。 Задачи 1.Проредуцироватьследующиелямбда-термы: 1.1。 ((λ p. (λ q. ((q (pr)) s))) ((q ((λ p. p) r)) s)) 1.2。 ((λ a. λ b. (λ x. x) ba (abx) ((λ a. (λ b. a)) x)) (λ b. b)) [x := b] 2.Днинедели Определитесвойтипданныхдляднейнедели。 Реализуйтеследующиефункции: nextDay вычисляетследующи
【文件预览】:
hse-haskell-2021-homework-master
----.gitignore(179B)
----Task2_WeekDays.hs(652B)
----stack.yaml(19B)
----README.md(8KB)
----.github()
--------workflows()
----stack.yaml.lock(447B)
----homework.cabal(333B)
----Main.hs(44B)
----Task3_Nat.hs(450B)