prep to restart

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

src/SSG/Djot.idr

@@ -0,0 +1 @@
+module Djot

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