293 B
293 B
| title | type |
|---|---|
| Things I Want to Learn | page |
I've already learned a bit of some of these things, but I'd like to learn more.
- Go
- Rust
- Haskell
- Scheme
- Idris 2
- Agda
- Lean
- Forth
- Type theory
- Opject capabilities
- Emacs
- Lagrangian mechanics
- Quantum mechanics
- Hanzi