Web Application to Learn Functional Programming and Language Idris

Name
Maarika Markus
Abstract
When learning new programming languages or paradigms practice is important. In the course „Functional programming“ programming language Idris is used for which it is difficult to find free online resources to learn by oneself. The aim of this thesis is to create an enivronment to make it easier to start learning functional programming and the language Idris. In this thesis there is an overview of the functional programming paradigm and the language Idris, explanation of the different ways to create the environment, used technologies and the created web application.
Graduation Thesis language
Estonian
Graduation Thesis type
Bachelor - Computer Science
Supervisor(s)
Kalmer Apinis
Defence year
2022
 
PDF