Resources & Tools
Tools
Do you have any helpful tools? Either found or maybe even developed yourself? Notify us in the Forum and we can add them here!
ProofTrees
https://neuralcoder3.github.io/prooftrees/
A tool to interactively use inference tree proofs/derivations like typing judgments.
Sheets
https://neuralcoder3.github.io/ocaml_sheets/
A Google Sheet alternative but with OCaml.
Resources
- Lecture Notes
- German textbook SML Programmierung (pdf) -- Version 2
- Introduction to Functional Programming and the Structure of Programming Languages using OCaml (pdf)
- Functional Programming in OCaml (textbook, Cornell) (accompanying videos)
- OCaml Manual
- OCaml API
- Video: Why learn functional programming?
- Alternative OCaml Interpreter
- Another Alternative OCaml Interpreter
- Math Preparatory Course Lecture Notes (also about proofs) (2022)