aboutsummaryrefslogtreecommitdiff
path: root/lab1
ModeNameSize
-rw-r--r--build.sbt1960logplain
-rw-r--r--inductive-data-types-lab.ipynb27103logplain
d---------project44logplain
d---------src62logplain