Скачать или смотреть Domain-Specific Languages of Mathematics mini-course by Patrik Janson, Lecture 3

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]    • DSLsofMath Week 1, Extra lecture on Haskel...