Streamed Live on Twitch: https://twitch.tv/tsoding
Enable Subtitles for Twitch Chat

Chapters:
- 00:00:00 - Intro
- 00:01:37 - Installing Lean
- 00:39:48 - Editor support
- 00:45:54 - Hello World
- 00:52:00 - Programming in Lean
- 01:06:04 - Compiling to machine code
- 01:16:04 - Lakefile-s
- 01:18:31 - Break Yapping
- 01:29:53 - Raylib Speedrun starts - Being stuck
- 02:06:45 - Got unstuck
- 02:24:16 - Raylib Integration
- 02:38:10 - RAYLIB WINDOW ACHIEVED!!1
- 02:39:22 - Vendor Locking
- 02:50:22 - Break Yapping
- 02:59:04 - Footnote - Theorem Proving

References:
- Lean Lang: https://lean-lang.org/
- What is IO monad? https://www.youtube.com/watch?v=fCoQb-zqYDI

Topic: Checking out Lean Programming Language

Support:
- https://github.com/tsoding/donate#support-tsoding

I tried Lean and instantly got PhD in Math