Domain-Specific Languages of Mathematics mini-course by Patrik Janson, Lecture 3
Channel: Patrik Jansson
Date: 31/08/2023

As part of the Wisla'23 (http://www.baltinmat.com/wisla23/) Summer School & Workshop, this is lectures 1 and 2 (our of 3) in the mini-course on 
Domain-Specific Languages of Mathematics by Patrik Jansson.

The main idea behind this minicourse is to encourage the students to approach mathematical domains from a functional programming perspective. We will learn about the language Haskell; identify the main functions and types involved; introduce calculational proofs; pay attention to the syntax of mathematical  expressions; and, finally, to organize the resulting functions and types in domain-specific languages.

The "full" course is available online both as a github repository [1] of source code (for the course book, lectures, examples, exams) and as a playlist [2] of all the lectures of the 2022 course instance.
[1] https://github.com/DSLsofMath/DSLsofMath
[2] https://www.youtube.com/watch?v=u5B-jiFDKto&list=PLf5C73P7ab-5sdvsqCjnF8iaYOtXMRNaZ