diff options
Diffstat (limited to 'provider/posts/thermoprint/5.md')
| -rw-r--r-- | provider/posts/thermoprint/5.md | 1 |
1 files changed, 1 insertions, 0 deletions
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 @@ | |||
| 2 | title: Building an Extensible Framework for Specifying Compile-Time Configuration using Universal Quantification | 2 | title: Building an Extensible Framework for Specifying Compile-Time Configuration using Universal Quantification |
| 3 | tags: Thermoprint | 3 | tags: Thermoprint |
| 4 | published: 2016-02-18 | 4 | published: 2016-02-18 |
| 5 | repo: https://git.yggdrasil.li/thermoprint?h=rewrite | ||
| 5 | --- | 6 | --- |
| 6 | 7 | ||
| 7 | When I write *Universal Quantification* I mean what is commonly referred to as | 8 | When I write *Universal Quantification* I mean what is commonly referred to as |