12 files changed, 20 insertions, 13 deletions

diff --git a/provider/posts/blog/hakyll.md b/provider/posts/blog/hakyll.md
index be3bc1b..4540beb 100644
--- a/provider/posts/blog/hakyll.md
+++ b/provider/posts/blog/hakyll.md
@@ -2,15 +2,15 @@
 title: Switch to Hakyll
 published: 2015-08-03
 tags: Blog Software
+repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org
 ---
 
 I stopped using the software suite inherited from
 [math.kleen.org](http://math.kleen.org) and switched over to using
-[hakyll](http://jaspervdj.be/hakyll/) instead, since I realised that the two
-were doing essentially the same job and keeping my mess in one haskell file
-(`src/Site.hs`, for those of you who are willing to checkout the
-[git repo](https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org)) instead of spread over a
-large number of interlocking zsh and haskell scripts.
+[hakyll](http://jaspervdj.be/hakyll/) instead, since I realised that
+the two were doing essentially the same job and keeping my mess in one
+haskell file (`src/Site.hs`) instead of spread over a large number of
+interlocking zsh and haskell scripts.
 
 I expect nothing to be seriously broken (Only the filepaths of lists have
 changed), but some feed readers might have stopped working (hakyll´s
diff --git a/provider/posts/blog/origin.md b/provider/posts/blog/origin.md
index b0d4af6..ead2579 100644
--- a/provider/posts/blog/origin.md
+++ b/provider/posts/blog/origin.md
@@ -2,6 +2,7 @@
 title: On the Origin of dirty-haskell.org
 published: 2015-03-12
 tags: Blog Software
+repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org
 ---
 
 The software used is a trivially modified version of the one powering [math.kleen.org](http://math.kleen.org/lists/blog.html).
diff --git a/provider/posts/blog/rss.md b/provider/posts/blog/rss.md
index 095ff56..10a6746 100644
--- a/provider/posts/blog/rss.md
+++ b/provider/posts/blog/rss.md
@@ -2,6 +2,7 @@
 title: dirty-haskell.org´s rss feeds
 published: 2015-03-29
 tags: Blog Software
+repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org
 ---
 
 I extended the software suite inherited from [math.kleen.org](http://math.kleen.org) to include support for rss feeds.
diff --git a/provider/posts/blog/tex-support.md b/provider/posts/blog/tex-support.md
index 7f43eb6..fef50e4 100644
--- a/provider/posts/blog/tex-support.md
+++ b/provider/posts/blog/tex-support.md
@@ -2,6 +2,7 @@
 title: Cursory Math-Support
 published: 2015-11-05
 tags: Blog Software
+repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org
 ---
 
 ## Demonstration
diff --git a/provider/posts/blog/ymir.md b/provider/posts/blog/ymir.md
index 83e5811..07967ae 100644
--- a/provider/posts/blog/ymir.md
+++ b/provider/posts/blog/ymir.md
@@ -2,6 +2,7 @@
 title: Moved servers
 published: 2015-11-05
 tags: Blog Software
+repo: https://git.yggdrasil.li/gkleen/pub/dirty-haskell.org
 ---
 
 dirty-haskell.org now lives on ymir.yggdrasil.li.
diff --git a/provider/posts/pwutil.md b/provider/posts/pwutil.md
index 17d3e49..d873dc0 100644
--- a/provider/posts/pwutil.md
+++ b/provider/posts/pwutil.md
@@ -5,7 +5,7 @@ published: 2015-04-07
 
 A long time ago I wrote a bunch of scripts (first in bash, then zsh, and later perl) to manage a, sometimes encrypted, file containing account information I get asked to create and remember on a daily basis—accounts for shopping websites spring to mind.
 
-[pwutil](https://git.yggdrasil.li/pwutil) is the newest iteration in this line of bunches of scripts.
+pwutil is the newest iteration in this line of bunches of scripts.
 
 ## Features
 
diff --git a/provider/posts/thermoprint/1.md b/provider/posts/thermoprint/1.md
index 032e2f6..9d0a5b2 100644
--- a/provider/posts/thermoprint/1.md
+++ b/provider/posts/thermoprint/1.md
@@ -2,6 +2,7 @@
 title: On the Architecture of a tool-set for interacting with character-oriented printers
 published: 2015-12-25
 tags: Thermoprint
+repo: https://git.yggdrasil.li/thermoprint?h=rewrite
 ---
 
 # Motivation
diff --git a/provider/posts/thermoprint/2.lhs b/provider/posts/thermoprint/2.lhs
index a144fb5..28b59b8 100644
--- a/provider/posts/thermoprint/2.lhs
+++ b/provider/posts/thermoprint/2.lhs
@@ -2,10 +2,10 @@
 title: On the design of a structured document format compatible with character oriented printers
 published: 2016-01-11
 tags: Thermoprint
+repo: https://git.yggdrasil.li/thermoprint?h=rewrite
+base: https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/Printout.hs?h=rewrite&id=f6dc3d1
 ---
 
-This post is an annotated version of the file [spec/src/Thermoprint/Printout.hs](https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/Printout.hs?h=rewrite&id=f6dc3d1) as of commit `f6dc3d1`.
-
 > {-# LANGUAGE DeriveGeneric, DeriveAnyClass #-}
 > {-# LANGUAGE OverloadedStrings #-}
 > {-# OPTIONS_HADDOCK show-extensions #-}
diff --git a/provider/posts/thermoprint/3.lhs b/provider/posts/thermoprint/3.lhs
index 4068cac..f0f52f5 100644
--- a/provider/posts/thermoprint/3.lhs
+++ b/provider/posts/thermoprint/3.lhs
@@ -2,10 +2,10 @@
 title: Thoughts on a network protocol for a toolset for interacting with character-oriented printers
 published: 2016-01-11
 tags: Thermoprint
+repo: https://git.yggdrasil.li/thermoprint?h=rewrite
+base: https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/API.hs?h=rewrite&id=3ad700c
 ---
 
-This post is an annotated version of the file [spec/src/Thermoprint/API.hs](https://git.yggdrasil.li/thermoprint/tree/spec/src/Thermoprint/API.hs?h=rewrite&id=3ad700c) as of commit `3ad700c`.
- 
 > {-# LANGUAGE DeriveGeneric, DeriveAnyClass #-}
 > {-# LANGUAGE TypeOperators, DataKinds #-}
 > {-# LANGUAGE OverloadedStrings #-}
diff --git a/provider/posts/thermoprint/4.md b/provider/posts/thermoprint/4.md
index 756c166..c9775dc 100644
--- a/provider/posts/thermoprint/4.md
+++ b/provider/posts/thermoprint/4.md
@@ -2,11 +2,11 @@
 title: On the Design of a Parser
 published: 2016-01-12
 tags: Thermoprint
+repo: https://git.yggdrasil.li/thermoprint?h=rewrite
+base: https://git.yggdrasil.li/thermoprint/tree/bbcode?h=rewrite&id=dc99dae
 ---
 
-The concrete application we’ll be walking through is a naive parser for [bbcode](https://en.wikipedia.org/wiki/BBCode)
--- more specifically the contents of the directory `bbcode` in the
-[git repo](https://git.yggdrasil.li/thermoprint/tree/bbcode?h=rewrite&id=dc99dae).
+The concrete application we’ll be walking through is a naive parser for [bbcode](https://en.wikipedia.org/wiki/BBCode).
 
 In a manner consistent with designing software as
 [compositions of simple morphisms](https://en.wikipedia.org/wiki/Tacit_programming) we start by determining the type of
diff --git a/provider/posts/thermoprint/5.md b/provider/posts/thermoprint/5.md
index 0249734..d4f624b 100644
--- a/provider/posts/thermoprint/5.md
+++ b/provider/posts/thermoprint/5.md
@@ -2,6 +2,7 @@
 title: Building an Extensible Framework for Specifying Compile-Time Configuration using Universal Quantification
 tags: Thermoprint
 published: 2016-02-18
+repo: https://git.yggdrasil.li/thermoprint?h=rewrite
 ---
 
 When I write *Universal Quantification* I mean what is commonly referred to as
diff --git a/provider/posts/thermoprint/6.lhs b/provider/posts/thermoprint/6.lhs
index 9182427..2d2a77d 100644
--- a/provider/posts/thermoprint/6.lhs
+++ b/provider/posts/thermoprint/6.lhs
@@ -2,6 +2,7 @@
 title: Deriving a Client Library for Interacting with Character-Oriented Printers
 tags: Thermoprint
 published: 2016-02-18
+repo: https://git.yggdrasil.li/thermoprint?h=rewrite
 ---
 
 > {-# LANGUAGE DataKinds #-}