This repo include some materials during my internship in OS Lab. NO CORE CODE!!!
The directory Problems99 include my code exercise of 99 Problems solved in OCaml under supervisor of my group leader.
- Time: 6 days
- Progress: 65/99
This directory RealWorld record my reading notes (code included) on Real World OCaml.
- Time: -
- Progress: 4/25(Chap)
This directory TestProblems include ocaml code-problems recommended by my mentor which merge from code-problems.
- Time: 3 days
- Progress: 12/43
The problems are listed in the directory.
Other tips on learning Coq or category theory.
- Books
- Websites
- Pioneers