3 ms·
I highly recommend this resource- OCaml Programming: Correct + Efficient + Beautiful [0]. It is very friendly, fund, and informative. It is one of the proverbia
by __rito__ 1y ago
I highly recommend this resource- OCaml Programming: Correct + Efficient + Beautiful [0]. It is very friendly, fund, and informative. It is one of the proverbial 'mind expanding' stuff.
[0]: https://cs3110.github.io/textbook/cover.html https://cs3110.github.io/textbook/cover.html
- schonfinkel 1y agoHighly recommend this as well. Michael Ryan also has a playlist where he goes over the first book of the "Software Foundations" series: https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzkZugkJSsXioFs https://www.youtube.com/playlist?list=PLre5AT9JnKShFK9l9HYzk... https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/ A great resource for those looking to learn Rocq.
- __rito__ 1y agoWow, thanks for sharing. Now I will finally scratch my software proofs itch. ___ Typo in GP: "fun" instead of "fund"