Anthony Wang
9870052395
All checks were successful
ci/woodpecker/push/woodpecker Pipeline was successful
198 B
198 B
title | type |
---|---|
Things I Want to Learn | page |
- Rust
- Haskell
- Scheme
- Idris 2
- Agda
- Lean
- Forth
- Type theory
- Opject capabilities
- Emacs
- Lagrangian mechanics
- Quantum mechanics