.. | ||
Hwk_02 | ||
Hwk_04 | ||
Hwk_01.md | ||
Hwk_02.md | ||
Hwk_03.md | ||
Hwk_03.pdf | ||
Hwk_04.md | ||
Hwk_05.md | ||
Hwk_06.md | ||
Hwk_07.md | ||
README.md |
Homeworks
Homework 1, due January 30 at 5:00pm
Intoduction to OCaml.
Graded out of 100 points.
Homework 2, due February 17 at 5:00pm
Working with higher order function
Graded out of 71 points.
Homework 3, due March 1 at noon.
Inductive proofs of programs
Graded out of 70 points.
Homework 4, due March 22 at 5:00pm
Programs as data.
Graded out of 100 points.
Homework 5
Lazy evaluation
Not yet graded.
Homework 6
Search
No yet out.
Homework 7
Modules
Not yet out.