82 lines
998 B
Markdown
82 lines
998 B
Markdown
|
# 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.
|
||
|
|
|
||
|
|
#### Lab 13, Apr 18
|
||
|
|
|
||
|
|
#### Lab 14, Apr 25
|
||
|
|
|
||
|
|
#### Lab 15, May 2
|
||
|
|
|
||
|
|
|