a/website
1
2
Fork 1
Code Issues Pull requests Projects Releases Wiki Activity

Fix typo in learn page

Browse source
This commit is contained in:
Anthony Wang 2022-12-31 03:37:17 +00:00
parent 922bedd755
commit c0774aef57
Signed by: a
GPG key ID: 42A5B952E6DD8D38
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
content/about/learn.md
View file

@ -11,7 +11,7 @@ type: page
- Agda
- Lean
- Type theory
- Opject capabilities
- Object capabilities
- Emacs
- Lagrangian mechanics
- Quantum mechanics