https://github.com/walterproof/cs3110

https://github.com/walterproof/cs3110

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/walterproof/cs3110
• Owner: WalterProof
• Created: 2022-04-24T21:21:30.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-05-10T21:40:56.000Z (over 2 years ago)
• Last Synced: 2024-07-06T13:56:17.514Z (6 months ago)
• Language: OCaml
• Size: 6.84 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# cs3110 exercises

Exercises for [OCaml Programming: Correct + Efficient + Beautiful](https://cs3110.github.io/textbook)

Initialize the environment with:

```sh

opam switch create cs3110 ocaml-base-compiler.4.13.1

opam install -y utop odoc ounit2 qcheck bisect_ppx menhir ocaml-lsp-server \

ocamlformat ocamlformat-rpc ppx_inline_test ppx_expect

eval $(opam env)

```

## Additional Resources

- [Introductory Data Structures and Algorithms](https://ilyasergey.net/YSC2229/)

- [OCaml From the Ground Up](https://ocamlbook.org/)

- [OCaml from the Very Beginning](https://johnwhitington.net/ocamlfromtheverybeginning/index.html)

- [Introduction to Caml](https://pl.cs.jhu.edu/pl/lectures/caml-intro.html)

- [CS 3110 Spring 2017 :: Data Structures and Functional Programming](https://www.cs.cornell.edu/courses/cs3110/2017sp/lecture_notes.php)

- [Ocaml Tutorial](https://www.youtube.com/watch?v=Gi58t_pgfJY&list=PLea0WJq13cnCef-3KSU3qWFge9OGUlKx1)

- [CS2800](https://courses.cs.cornell.edu/cs2800/wiki/index.php/CS_2800_Spring_2018)

- [Think OCaml](https://greenteapress.com/thinkocaml/thinkocaml.pdf)

- [Functional programming books overview](https://alexott.net/en/fp/books/)