Frosendroska / FP2021 Public

forked from polupanovaanna/FP2021

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Conspects for "Functional programming" exam

0 stars 4 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 30 Commits
10. Функция предшествования для чисел Чёрча. Комбинатор примитивной рекурсии.pdf		10. Функция предшествования для чисел Чёрча. Комбинатор примитивной рекурсии.pdf
11-12. Просто типизированное λ-исчисление в стиле Карри(Черча). Предтермы. Утверждения о типизации. Контексты. Правила типизации..pdf		11-12. Просто типизированное λ-исчисление в стиле Карри(Черча). Предтермы. Утверждения о типизации. Контексты. Правила типизации..pdf
13. Свойства систем просто типизированного λ-исчисления..pdf		13. Свойства систем просто типизированного λ-исчисления..pdf
23. Зипперы (молнии).md		23. Зипперы (молнии).md
24. Линзы ван Лаарховена.md		24. Линзы ван Лаарховена.md
27. Мультипараметрические классы типов.md		27. Мультипараметрические классы типов.md
28. Transformers.md		28. Transformers.md
5. Алгебраические типы данных. Сопоставление с образцом, его семантика..md		5. Алгебраические типы данных. Сопоставление с образцом, его семантика..md
6. Объявления type и newtype. Метки полей.md		6. Объявления type и newtype. Метки полей.md
7. Списки, стандартные функции для работы с ними. Генерация (выделение) списков..md		7. Списки, стандартные функции для работы с ними. Генерация (выделение) списков..md
8. Теорема Чёрча-Россера и её cледствия.pdf		8. Теорема Чёрча-Россера и её cледствия.pdf
9. Cтратегии редукции. Теорема о нормализации. Механизмы вызова в функциональных языках.pdf		9. Cтратегии редукции. Теорема о нормализации. Механизмы вызова в функциональных языках.pdf
README.md		README.md
trans1.png		trans1.png
trans2.png		trans2.png

Repository files navigation

FP2021

About

Conspects for "Functional programming" exam

haskell exam hse conspects

Report repository

Releases

No releases published

Packages

No packages published