From eed700d00b27b98b182e15d66412741b86e91bb4 Mon Sep 17 00:00:00 2001 From: Anthony Wang Date: Sun, 21 Aug 2022 22:26:54 -0500 Subject: [PATCH] Add a list of things I want to learn --- content/about/learn.md | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 content/about/learn.md diff --git a/content/about/learn.md b/content/about/learn.md new file mode 100644 index 00000000..11716586 --- /dev/null +++ b/content/about/learn.md @@ -0,0 +1,23 @@ +--- +title: "Things I Want to Learn" +type: 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 +