Functional-Programming

Assignments done for the course Functional Programming
Exercises are in Haskell and Agda

Project folder contains haskell code for jq interpreter (interpreting json-format code from commandline and pretty printing its results).

Name		Name	Last commit message	Last commit date
Latest commit History 107 Commits
Live code		Live code
Project		Project
Final exam.md		Final exam.md
Practice exam.md		Practice exam.md
README.md		README.md
Week 1A Basics of Functional Programming.md		Week 1A Basics of Functional Programming.md
Week 1B Lists.md		Week 1B Lists.md
Week 2A Pattern Matching and Recursion.md		Week 2A Pattern Matching and Recursion.md
Week 2B Higher-order functions.md		Week 2B Higher-order functions.md
Week 2C QuickCheck.md		Week 2C QuickCheck.md
Week 3A Types and Classes.md		Week 3A Types and Classes.md
Week 4A Functors.md		Week 4A Functors.md
Week 4B Monads.md		Week 4B Monads.md
Week 5A Lazy evaluation.md		Week 5A Lazy evaluation.md
Week 6B Dependent Types.md		Week 6B Dependent Types.md
Week 7A The Curry-Howard Correspondence.md		Week 7A The Curry-Howard Correspondence.md
Week 7B Equational Reasoning in Agda.md		Week 7B Equational Reasoning in Agda.md
fp mc questions.pdf		fp mc questions.pdf

Provide feedback