From c297ee8043bc38b58c466974f700d9cdb8e1f1b9 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Fri, 27 May 2016 21:31:15 +0200 Subject: link cleanup --- provider/posts/thermoprint/1.md | 1 + provider/posts/thermoprint/2.lhs | 4 ++-- provider/posts/thermoprint/3.lhs | 4 ++-- provider/posts/thermoprint/4.md | 6 +++--- provider/posts/thermoprint/5.md | 1 + provider/posts/thermoprint/6.lhs | 1 + 6 files changed, 10 insertions(+), 7 deletions(-) (limited to 'provider/posts/thermoprint') 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 #-} -- cgit v1.2.3