LiP students are expected to fork the repository and push solutions to the exercises on their fork.
Invitation to the Discord server: https://discord.gg/JKPWbpXBf4
Examples and (very soon) unit tests for this year's project Tiny Rust are available in the lip24 directory.
- Adder
- Tug of war (optional)
- A minimal language of boolean expressions
- Boolean expressions with not, and, or
- Typed arithmetic expressions with dynamic type checking
- Typed arithmetic expressions with static type checking
- OCaml Programming: Correct + Efficient + Beautiful
- OCaml from the very beginning
- B. Pierce. Types and Programming Languages. MIT Press, 2002
- Menhir manual and demos