[ new ] Chapter on details of QTT (#67)

* [ new ] Chapter on details of QTT * Move to appendices section * Add link to QTT section in table of contents * Add credit note before introduction * [ tweak ] Satisfy markdown linter a bit more * [ fix ] Typos and other tweaks * [ fix ] More typo fixes * [ fix ] emphasis broken between lines * [ clarification ] quantities and pattern matching
stefan-hoeck · Jul 30, 2024 · 0795cd0 · 0795cd0
1 parent 830938f
commit 0795cd0
Show file tree

Hide file tree

Showing 2 changed files with 496 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -114,6 +114,7 @@ editing and possibly others.
 1. [Getting Started with pack and Idris2](src/Appendices/Install.md)
 2. [Interactive Editing in Neovim](src/Appendices/Neovim.md)
 3. [Structuring Idris Projects](src/Appendices/Projects.md)
+4. [A Deep Dive into Quantitative Type Theory](src/Appendices/QTT.md)
 
 ## Prerequisites