 Manuel Thalmann
|
922266f917
|
Implement freeVars
|
2024-06-17 00:36:43 +02:00 |
|
|
Manuel Thalmann
|
601ef93a70
|
Rename variable
|
2024-06-17 00:31:18 +02:00 |
|
|
Manuel Thalmann
|
08ed943d56
|
Add support for printing constants
|
2024-06-17 00:26:34 +02:00 |
|
|
Manuel Thalmann
|
bfb920ca74
|
Explain parenthesis rules
|
2024-06-17 00:23:26 +02:00 |
|
|
Manuel Thalmann
|
7b20e2a047
|
Solve exercise 4
|
2024-06-17 00:20:32 +02:00 |
|
|
Manuel Thalmann
|
14fdbdd074
|
Solve exercise 3
|
2024-06-17 00:07:02 +02:00 |
|
|
Manuel Thalmann
|
e710a68bf3
|
Reorder all slide tasks
|
2024-06-17 00:02:00 +02:00 |
|
|
Manuel Thalmann
|
05e5b9d300
|
Reorder declarations
|
2024-06-17 00:01:19 +02:00 |
|
|
Manuel Thalmann
|
f0673525ee
|
Solve exercise 2
|
2024-06-16 23:59:43 +02:00 |
|
|
Manuel Thalmann
|
d77d0020a2
|
Solve exercise 1
|
2024-06-16 23:49:48 +02:00 |
|
|
Manuel Thalmann
|
c2ab01c161
|
Implement the pretty function
|
2024-06-16 23:47:06 +02:00 |
|
|
Manuel Thalmann
|
7e360c357e
|
Add a lambda term type
|
2024-06-16 23:46:51 +02:00 |
|