Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 141 | logplain |
-rw-r--r-- | .scalafmt.conf | 42 | logplain |
-rw-r--r-- | abstract-syntax-exercise.ipynb | 56873 | logplain |
-rw-r--r-- | big-step-exercise.ipynb | 75972 | logplain |
-rw-r--r-- | data-types-exercise.ipynb | 51930 | logplain |
-rw-r--r-- | encapsulating-effects-exercise.ipynb | 93159 | logplain |
-rw-r--r-- | higher-order-functions-exercise.ipynb | 47776 | logplain |
d--------- | lab1 | 159 | logplain |
d--------- | lab2 | 155 | logplain |
d--------- | lab3 | 149 | logplain |
d--------- | lab4 | 159 | logplain |
d--------- | lab5 | 161 | logplain |
-rw-r--r-- | readme.md | 400 | logplain |