some content

3 years ago · a2d3d17fb4
5 changed files with 40 additions and 5 deletions
--- a/.gitignore
+++ b/.gitignore
@ -0,0 +1,3 @@
+ssg/dist-newstyle
+src/_cache
+src/_site
--- a/src/index.md
+++ b/src/index.md
@ -0,0 +1,18 @@
+---
+title: recursor.wf
+---
+
+# recursor.wf
+
+I like computers but they're just a bit complicated
+
+ - Julien Marquet-Wagner
+ - [github](https://github.com/thejohncrafter)
+
+Computer Science & Math Student at ENS Ulm
+
+Current topics of interest:
+
+ - formal verification with [lean](leanprover.github.io)
+ - [Geometry of Interaction](https://ncatlab.org/nlab/show/Geometry+of+Interaction)
+
--- a/src/templates/default.html
+++ b/src/templates/default.html
@ -1,9 +1,10 @@
 <!DOCTYPE html>
 <html>
  <head>
-    <meta charset="utf-8"/>
+    <meta charset="utf-8">
+    <title>$title$</title>
  </head>
  <body>
-    recursor.wf
+    $body$
  </body>
 </html>
--- a/ssg/quickrun.sh
+++ b/ssg/quickrun.sh
@ -0,0 +1,6 @@
+#!/usr/bin/env bash
+TGT=$(mktemp -d)
+cabal v2-install --installdir $TGT/
+cd ../src
+$TGT/ssg rebuild
+$TGT/ssg watch
--- a/ssg/src/Main.hs
+++ b/ssg/src/Main.hs
@ -1,10 +1,17 @@
 {-# LANGUAGE OverloadedStrings #-}

+import Data.Maybe (fromMaybe)
+
 import Hakyll

 main :: IO ()
 main = hakyll $ do
-  match "index.html" $ do
-    route idRoute
-    compile copyFileCompiler
+  match "templates/*" $
+    compile templateBodyCompiler
+
+  match "index.md" $ do
+    route $ constRoute "index.html" 
+    compile $
+      pandocCompiler
+        >>= loadAndApplyTemplate "templates/default.html" defaultContext