Programming languages

I keep track of my progress on learning programming languages here.

General

General books on programming language design:

• Book on compilers: Programming Language Pragmatics
• More theoretical book: Types and Programming Languages

Languages

1. Rust
2. Agda
3. JavaScript and TypeScript
4. Python
5. C and C++