Anthony Wang
dec906bbc0
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
See https://news.ycombinator.com/item?id=33679360#33684545 for more details
190 B
190 B
title | type |
---|---|
Things I Want to Learn | page |
- Rust
- Haskell
- Scheme
- Idris 2
- Agda
- Lean
- Type theory
- Opject capabilities
- Emacs
- Lagrangian mechanics
- Quantum mechanics