Add tables of contents to posts

2020-07-20 10:38:39 +02:00 · 2020-07-20 10:38:39 +02:00 · 92d759a9bf
commit 92d759a9bf
parent 6e31bd8eab
17 changed files with 272 additions and 27 deletions
--- a/posts/peano.org
+++ b/posts/peano.org
@ -1,6 +1,7 @@
 ---
 title: "Peano Axioms"
 date: 2019-03-18
+toc: true
 ---

 * Introduction