Marcus Rohrmoser 🌍 · @mro
106 followers · 350 posts · Server digitalcourage.social📖 🐫 #OCaml Programming: Correct + Efficient + Beautiful
https://cs3110.github.io/textbook/cover.html
#CS3110 Data Structures and #Functional #Programming at Cornell University.
thanks https://lobste.rs/s/awegaq/ocaml_programming_correct_efficient
¹ https://mro.name/atrru8a
#programming #functional #cs3110 #ocaml
Last updated 2 years ago
Marcus Rohrmoser 🌍 · @mro
106 followers · 350 posts · Server digitalcourage.social📖 🐫 #OCaml Programming: Correct + Efficient + Beautiful
https://cs3110.github.io/textbook/cover.html
#CS3110 Data Structures and Functional Programming at Cornell University.
thanks https://lobste.rs/s/awegaq/ocaml_programming_correct_efficient
¹ https://mro.name/atrru8a
Last updated 2 years ago