csci2041/public-class-repo/Homework/README.md
Michael Zhang 399845160c
f
2018-01-29 17:35:31 -06:00

523 B

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.