Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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



Highly 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=PLre5AT9JnKShFK9l9HYzk... https://softwarefoundations.cis.upenn.edu/

A great resource for those looking to learn Rocq.


Wow, thanks for sharing. Now I will finally scratch my software proofs itch.

___

Typo in GP: "fun" instead of "fund"




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: