From 544a526f542081aaf1344523a34ee51d1fa51544 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Tue, 18 Feb 2025 07:32:30 -0500 Subject: [PATCH] Basic project structure --- SSG.ipkg | 6 ++++-- src/SSG/HTML.idr | 1 + src/SSG/Parser/Core.idr | 1 + src/SSG/Parser/Markdown.idr | 1 + 4 files changed, 7 insertions(+), 2 deletions(-) create mode 100644 src/SSG/HTML.idr create mode 100644 src/SSG/Parser/Core.idr create mode 100644 src/SSG/Parser/Markdown.idr diff --git a/SSG.ipkg b/SSG.ipkg index 86e0f89..3e8c0b2 100644 --- a/SSG.ipkg +++ b/SSG.ipkg @@ -13,10 +13,12 @@ authors = "Nathan McCarty" -- langversion -- packages to add to search path --- depends = +depends = eff -- modules to install --- modules = +modules = SSG.Parser.Core + , SSG.Parser.Markdown + , SSG.HTML -- main file (i.e. file to load at REPL) main = Main diff --git a/src/SSG/HTML.idr b/src/SSG/HTML.idr new file mode 100644 index 0000000..7ca024f --- /dev/null +++ b/src/SSG/HTML.idr @@ -0,0 +1 @@ +module SSG.HTML diff --git a/src/SSG/Parser/Core.idr b/src/SSG/Parser/Core.idr new file mode 100644 index 0000000..e070a95 --- /dev/null +++ b/src/SSG/Parser/Core.idr @@ -0,0 +1 @@ +module SSG.Parser.Core diff --git a/src/SSG/Parser/Markdown.idr b/src/SSG/Parser/Markdown.idr new file mode 100644 index 0000000..e760e1b --- /dev/null +++ b/src/SSG/Parser/Markdown.idr @@ -0,0 +1 @@ +module SSG.Parser.Markdown