csci2041/public-class-repo/Homework
Michael Zhang 399845160c
f
2018-01-29 17:35:31 -06:00
..
Hwk_02 f 2018-01-29 17:35:31 -06:00
Hwk_04 f 2018-01-29 17:35:31 -06:00
Hwk_01.md f 2018-01-29 17:35:31 -06:00
Hwk_02.md f 2018-01-29 17:35:31 -06:00
Hwk_03.md f 2018-01-29 17:35:31 -06:00
Hwk_03.pdf f 2018-01-29 17:35:31 -06:00
Hwk_04.md f 2018-01-29 17:35:31 -06:00
Hwk_05.md f 2018-01-29 17:35:31 -06:00
Hwk_06.md f 2018-01-29 17:35:31 -06:00
Hwk_07.md f 2018-01-29 17:35:31 -06:00
README.md f 2018-01-29 17:35:31 -06:00

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.