GitHub - vituscze/kryl-lectures

Name		Name	Last commit message	Last commit date
Latest commit History 74 Commits
ParserProof.agda		ParserProof.agda
README		README
lecture1.md		lecture1.md
lecture1.txt		lecture1.txt
lecture1extra.md		lecture1extra.md
lecture1extra.txt		lecture1extra.txt
lecture2.md		lecture2.md
lecture3.md		lecture3.md
lecture3extra.md		lecture3extra.md
lecture4.md		lecture4.md
lecture4extra.md		lecture4extra.md
lecture5.md		lecture5.md

Repository files navigation

Corrections for the Haskell part of lectures in non-procedural programming course.

No description, website, or topics provided.

No releases published