| .. | ||
| Lab_01_Jan_17.md | ||
| Lab_02_Jan_24.md | ||
| Lab_03_Jan_31.md | ||
| Lab_04_Feb_07.md | ||
| Lab_05_Feb_14.md | ||
| Lab_06_Feb_21.md | ||
| Lab_07_Feb_28.md | ||
| Lab_08_Mar_07.md | ||
| Lab_09_Mar_21.md | ||
| Lab_10_Mar_28.md | ||
| Lab_11_Apr_04.md | ||
| Lab_12_Apr_11.md | ||
| Lab_13_Apr_18.md | ||
| Lab_14_Apr_25.md | ||
| Lab_15.tar | ||
| Lab_15_May_02.md | ||
| README.md | ||
Labs
Lab 1, Jan 17
Getting started with OCaml and Git.
Graded out of 100 points.
Lab 2, Jan 24
Introduction to OCaml.
Graded out of 65 points.
Lab 3, Jan 31
Improving your Hwk 01 OCaml code.
Graded out of 62 points.
Lab 4, Feb 7
Higher order functional programming, getting started on Hwk 02.
Not graded.
Lab 5, Feb 14
Discussion of Quiz 1 results.
Not graded.
Lab 6, Feb 21
Inductive data types.
Graded out of 73 points.
Lab 7, Feb 28
Reasoning about correctness.
Not graded.
Lab 8, Mar 7
Improving your Hwk 02 OCaml code.
Will be graded, not yet completed.
Lab 9, Mar 21
Working on expression evaluation, Hwk 4
Not graded.
Lab 10, Mar 28
Working with streams in OCaml.
Will be graded, not yet completed.
Lab 11, Apr 4
Denotational semantics.
Will be graded, not yet completed.
Lab 12, Apr 11
Search
Will be graded, not yet completed.