aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore141logplain
-rw-r--r--.scalafmt.conf42logplain
-rw-r--r--abstract-syntax-exercise.ipynb56873logplain
-rw-r--r--big-step-exercise.ipynb75972logplain
-rw-r--r--data-types-exercise.ipynb51930logplain
-rw-r--r--encapsulating-effects-exercise.ipynb93159logplain
-rw-r--r--higher-order-functions-exercise.ipynb47776logplain
d---------lab1159logplain
d---------lab2155logplain
d---------lab3149logplain
d---------lab4159logplain
d---------lab5161logplain
-rw-r--r--readme.md400logplain