From db0f3a0427224b67cdd3ee49602b0b1d4737a4f6 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Sun, 23 Feb 2025 17:37:13 -0500
Subject: [PATCH] prep to restart

---
 SSG.ipkg         |  4 +++-
 src/SSG/Djot.idr |  1 +
 todo.org         | 61 +++++++++++++++++++-----------------------------
 3 files changed, 28 insertions(+), 38 deletions(-)
 create mode 100644 src/SSG/Djot.idr

diff --git a/SSG.ipkg b/SSG.ipkg
index 6c9228d..d156215 100644
--- a/SSG.ipkg
+++ b/SSG.ipkg
@@ -13,7 +13,8 @@ authors = "Nathan McCarty"
 -- langversion
 
 -- packages to add to search path
-depends = structures
+depends = contrib
+        , structures
         , tailrec
         , eff
         , refined
@@ -24,6 +25,7 @@ depends = structures
 -- modules to install
 modules = SSG.HTML
         , SSG.HTML.ElementTypes
+        , SSG.Djot
 
 -- main file (i.e. file to load at REPL)
 main = Main
diff --git a/src/SSG/Djot.idr b/src/SSG/Djot.idr
new file mode 100644
index 0000000..2f11ffc
--- /dev/null
+++ b/src/SSG/Djot.idr
@@ -0,0 +1 @@
+module Djot
diff --git a/todo.org b/todo.org
index 7f89a0d..330438e 100644
--- a/todo.org
+++ b/todo.org
@@ -9,54 +9,41 @@ Decided to rename =Tag= to =Html=, and =Raw= to =Text=, which makes this make se
 ** TODO Refine =location= in =ParserLocation=
 ** TODO Error messages
 ** TODO Combinators for predictive parsing
-* Djot [7/44]
+* Djot [0/31]
 :PROPERTIES:
 :COOKIE_DATA: recursive
 :END:
 ** Parsing
-*** Inline Syntax [2/18]
+*** Block Level
+**** TODO Paragraph
+**** TODO Heading
+**** TODO Block Quote
+**** TODO List Item
+**** TODO List
+**** TODO Code Block
+**** TODO Thematic Break
+**** TODO Raw Block
+**** TODO Div
+**** TODO Pipe Table
+**** TODO Reference Link Definition
+**** TODO Footnote
+**** TODO Block Attributes
+**** TODO Heading Links
+*** Inline
+**** TODO Ordinary Text
 **** TODO Link
 **** TODO Image
 **** TODO Autolink
 **** TODO Verbatim
-**** TODO Emphasis/strong
+**** TODO Emphasis/Strong
 **** TODO Highlighted
 **** TODO Super/subscript
 **** TODO Insert/delete
-**** TODO Smart punctuation
+**** TODO Smart Puncuation
 **** TODO Math
-**** TODO Footnote reference
+**** TODO Footnote Reference
+**** TODO Linebreak
 **** TODO Comment
 **** TODO Symbols
-**** TODO Raw inline
-**** TODO Span
-**** TODO Inline attributes
-**** DONE Ordinary Text
-**** DONE Linebreak
-*** Block Syntax [4/17]
-**** TODO Block quote
-**** TODO List item
-**** TODO List
-**** TODO Code block
-**** TODO Thematic break
-**** TODO Raw block
-**** TODO Div
-**** TODO Pipe table
-**** TODO Reference link
-**** TODO definition
-**** TODO Footnote
-**** TODO Block attributes
-**** TODO Links to headings
-**** DONE Paragraph
-**** DONE Heading
-***** DONE Multiline without leading count
-***** DONE Basic
-** TODO Predictive parsing
-** TODO Support all types of whitespace
-*** TODO Escaping
-*** TODO Whitespace class
-** TODO Lazy indentation
-** TODO hex escapes
-** TODO GFM style alerts
-** TODO Group adjacent =Text=s into a =String=
-** DONE Rendering
+**** TODO Raw Inline
+**** TODO Inline Attributes