Skip to content

Commit 4088908

Browse files
Hodapp87Hodapp87
committed
Updated commit for change in 'source' (tag support)
1 parent 7be6243 commit 4088908

10 files changed

+485
-0
lines changed

‎posts/2015-01-31-haskelly-beginnings.html

+5
Original file line numberDiff line numberDiff line change
@@ -52,6 +52,11 @@ <h1>Haskelly Beginnings</h1>
5252

5353
by Calvin Beck
5454

55+
</div>
56+
<div class="info">
57+
58+
Tags:
59+
5560
</div>
5661

5762
<p>Greetings, all!</p>

‎posts/2015-02-06-how-i-got-here.html

+5
Original file line numberDiff line numberDiff line change
@@ -52,6 +52,11 @@ <h1>How I Got Here (i.e. to using Haskell for embedded code)</h1>
5252

5353
by Chris Hodapp
5454

55+
</div>
56+
<div class="info">
57+
58+
Tags: <a href="../tags/haskell.html">haskell</a>, <a href="../tags/atom.html">atom</a>, <a href="../tags/ivory.html">ivory</a>, <a href="../tags/copilot.html">copilot</a>, <a href="../tags/idris.html">idris</a>, <a href="../tags/sbv.html">sbv</a>, <a href="../tags/python.html">python</a>
59+
5560
</div>
5661

5762
<p>One work project since near the begining of 2014 has been the design of an embedded system for which power usage and stability are two primary concerns. It’s not controlling an airplane or a nuclear plant - malfunctions will not be catastrophic - but stability still matters.</p>

‎posts/2015-02-17-atom-examples.html

+5
Original file line numberDiff line numberDiff line change
@@ -52,6 +52,11 @@ <h1>Examples for the Atom library</h1>
5252

5353
by Chris Hodapp
5454

55+
</div>
56+
<div class="info">
57+
58+
Tags: <a href="../tags/haskell.html">haskell</a>, <a href="../tags/atom.html">atom</a>
59+
5560
</div>
5661

5762
<p>In the <a href="./2015-02-06-how-i-got-here.html">last post</a> I talked briefly about Atom (<a href="http://hackage.haskell.org/package/atom" title="atom: A DSL for embedded hard realtime applications. (hackage)">hackage</a> &amp; <a href="https://github.com/tomahawkins/atom" title="atom: A DSL for embedded hard realtime applications. (github)">github</a>), a Haskell EDSL from <a href="http://tomahawkins.org/">Tom Hawkins</a> for hard realtime embedded software. I aim here to cover more detail.</p>

‎tags/atom.html

+70
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,70 @@
1+
<?xml version="1.0" encoding="UTF-8" ?>
2+
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
3+
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
4+
<head>
5+
<meta charset="utf-8" />
6+
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7+
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
8+
<title>Haskell Embedded Blog - Posts tagged "atom"</title>
9+
<link href="../css/bootstrap.css" rel="stylesheet" />
10+
<link rel="stylesheet" type="text/css" href="../css/default.css" />
11+
<!-- syntax.css is Pandoc's syntax.css file, copied from:
12+
https://github.com/jaspervdj/hakyll/blob/master/web/css/syntax.css
13+
-->
14+
<link rel="stylesheet" type="text/css" href="../css/syntax.css" />
15+
16+
<link rel="apple-touch-icon" sizes="57x57" href="../apple-touch-icon-57x57.png">
17+
<link rel="apple-touch-icon" sizes="60x60" href="../apple-touch-icon-60x60.png">
18+
<link rel="apple-touch-icon" sizes="72x72" href="../apple-touch-icon-72x72.png">
19+
<link rel="apple-touch-icon" sizes="76x76" href="../apple-touch-icon-76x76.png">
20+
<link rel="apple-touch-icon" sizes="114x114" href="../apple-touch-icon-114x114.png">
21+
<link rel="apple-touch-icon" sizes="120x120" href="../apple-touch-icon-120x120.png">
22+
<link rel="apple-touch-icon" sizes="144x144" href="../apple-touch-icon-144x144.png">
23+
<link rel="apple-touch-icon" sizes="152x152" href="../apple-touch-icon-152x152.png">
24+
<link rel="apple-touch-icon" sizes="180x180" href="../apple-touch-icon-180x180.png">
25+
<link rel="icon" type="image/png" href="../favicon-32x32.png" sizes="32x32">
26+
<link rel="icon" type="image/png" href="../android-chrome-192x192.png" sizes="192x192">
27+
<link rel="icon" type="image/png" href="../favicon-96x96.png" sizes="96x96">
28+
<link rel="icon" type="image/png" href="../favicon-16x16.png" sizes="16x16">
29+
<link rel="manifest" href="../manifest.json">
30+
<meta name="msapplication-TileColor" content="#da532c">
31+
<meta name="msapplication-TileImage" content="/mstile-144x144.png">
32+
<meta name="theme-color" content="#ffffff">
33+
</head>
34+
<body>
35+
<div id="header">
36+
<div id="logo">
37+
<a href="../">Haskell Embedded Blog</a>
38+
</div>
39+
<div id="navigation">
40+
<a href="../">Home</a>
41+
<a href="../about.html">About</a>
42+
<a href="../contact.html">Contact</a>
43+
<a href="../archive.html">Archive</a>
44+
</div>
45+
</div>
46+
47+
<div id="content">
48+
<h1>Posts tagged "atom"</h1>
49+
50+
<ul>
51+
52+
<li>
53+
<a href="../posts/2015-02-17-atom-examples.html">Examples for the Atom library</a> - February 17, 2015
54+
</li>
55+
56+
<li>
57+
<a href="../posts/2015-02-06-how-i-got-here.html">How I Got Here (i.e. to using Haskell for embedded code)</a> - February 6, 2015
58+
</li>
59+
60+
</ul>
61+
62+
63+
</div>
64+
<div id="footer">
65+
Site proudly generated by
66+
<a href="http://jaspervdj.be/hakyll">Hakyll</a>
67+
</div>
68+
<script src="../js/bootstrap.js"></script>
69+
</body>
70+
</html>

‎tags/copilot.html

+66
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,66 @@
1+
<?xml version="1.0" encoding="UTF-8" ?>
2+
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
3+
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
4+
<head>
5+
<meta charset="utf-8" />
6+
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7+
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
8+
<title>Haskell Embedded Blog - Posts tagged "copilot"</title>
9+
<link href="../css/bootstrap.css" rel="stylesheet" />
10+
<link rel="stylesheet" type="text/css" href="../css/default.css" />
11+
<!-- syntax.css is Pandoc's syntax.css file, copied from:
12+
https://github.com/jaspervdj/hakyll/blob/master/web/css/syntax.css
13+
-->
14+
<link rel="stylesheet" type="text/css" href="../css/syntax.css" />
15+
16+
<link rel="apple-touch-icon" sizes="57x57" href="../apple-touch-icon-57x57.png">
17+
<link rel="apple-touch-icon" sizes="60x60" href="../apple-touch-icon-60x60.png">
18+
<link rel="apple-touch-icon" sizes="72x72" href="../apple-touch-icon-72x72.png">
19+
<link rel="apple-touch-icon" sizes="76x76" href="../apple-touch-icon-76x76.png">
20+
<link rel="apple-touch-icon" sizes="114x114" href="../apple-touch-icon-114x114.png">
21+
<link rel="apple-touch-icon" sizes="120x120" href="../apple-touch-icon-120x120.png">
22+
<link rel="apple-touch-icon" sizes="144x144" href="../apple-touch-icon-144x144.png">
23+
<link rel="apple-touch-icon" sizes="152x152" href="../apple-touch-icon-152x152.png">
24+
<link rel="apple-touch-icon" sizes="180x180" href="../apple-touch-icon-180x180.png">
25+
<link rel="icon" type="image/png" href="../favicon-32x32.png" sizes="32x32">
26+
<link rel="icon" type="image/png" href="../android-chrome-192x192.png" sizes="192x192">
27+
<link rel="icon" type="image/png" href="../favicon-96x96.png" sizes="96x96">
28+
<link rel="icon" type="image/png" href="../favicon-16x16.png" sizes="16x16">
29+
<link rel="manifest" href="../manifest.json">
30+
<meta name="msapplication-TileColor" content="#da532c">
31+
<meta name="msapplication-TileImage" content="/mstile-144x144.png">
32+
<meta name="theme-color" content="#ffffff">
33+
</head>
34+
<body>
35+
<div id="header">
36+
<div id="logo">
37+
<a href="../">Haskell Embedded Blog</a>
38+
</div>
39+
<div id="navigation">
40+
<a href="../">Home</a>
41+
<a href="../about.html">About</a>
42+
<a href="../contact.html">Contact</a>
43+
<a href="../archive.html">Archive</a>
44+
</div>
45+
</div>
46+
47+
<div id="content">
48+
<h1>Posts tagged "copilot"</h1>
49+
50+
<ul>
51+
52+
<li>
53+
<a href="../posts/2015-02-06-how-i-got-here.html">How I Got Here (i.e. to using Haskell for embedded code)</a> - February 6, 2015
54+
</li>
55+
56+
</ul>
57+
58+
59+
</div>
60+
<div id="footer">
61+
Site proudly generated by
62+
<a href="http://jaspervdj.be/hakyll">Hakyll</a>
63+
</div>
64+
<script src="../js/bootstrap.js"></script>
65+
</body>
66+
</html>

‎tags/haskell.html

+70
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,70 @@
1+
<?xml version="1.0" encoding="UTF-8" ?>
2+
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
3+
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
4+
<head>
5+
<meta charset="utf-8" />
6+
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7+
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
8+
<title>Haskell Embedded Blog - Posts tagged "haskell"</title>
9+
<link href="../css/bootstrap.css" rel="stylesheet" />
10+
<link rel="stylesheet" type="text/css" href="../css/default.css" />
11+
<!-- syntax.css is Pandoc's syntax.css file, copied from:
12+
https://github.com/jaspervdj/hakyll/blob/master/web/css/syntax.css
13+
-->
14+
<link rel="stylesheet" type="text/css" href="../css/syntax.css" />
15+
16+
<link rel="apple-touch-icon" sizes="57x57" href="../apple-touch-icon-57x57.png">
17+
<link rel="apple-touch-icon" sizes="60x60" href="../apple-touch-icon-60x60.png">
18+
<link rel="apple-touch-icon" sizes="72x72" href="../apple-touch-icon-72x72.png">
19+
<link rel="apple-touch-icon" sizes="76x76" href="../apple-touch-icon-76x76.png">
20+
<link rel="apple-touch-icon" sizes="114x114" href="../apple-touch-icon-114x114.png">
21+
<link rel="apple-touch-icon" sizes="120x120" href="../apple-touch-icon-120x120.png">
22+
<link rel="apple-touch-icon" sizes="144x144" href="../apple-touch-icon-144x144.png">
23+
<link rel="apple-touch-icon" sizes="152x152" href="../apple-touch-icon-152x152.png">
24+
<link rel="apple-touch-icon" sizes="180x180" href="../apple-touch-icon-180x180.png">
25+
<link rel="icon" type="image/png" href="../favicon-32x32.png" sizes="32x32">
26+
<link rel="icon" type="image/png" href="../android-chrome-192x192.png" sizes="192x192">
27+
<link rel="icon" type="image/png" href="../favicon-96x96.png" sizes="96x96">
28+
<link rel="icon" type="image/png" href="../favicon-16x16.png" sizes="16x16">
29+
<link rel="manifest" href="../manifest.json">
30+
<meta name="msapplication-TileColor" content="#da532c">
31+
<meta name="msapplication-TileImage" content="/mstile-144x144.png">
32+
<meta name="theme-color" content="#ffffff">
33+
</head>
34+
<body>
35+
<div id="header">
36+
<div id="logo">
37+
<a href="../">Haskell Embedded Blog</a>
38+
</div>
39+
<div id="navigation">
40+
<a href="../">Home</a>
41+
<a href="../about.html">About</a>
42+
<a href="../contact.html">Contact</a>
43+
<a href="../archive.html">Archive</a>
44+
</div>
45+
</div>
46+
47+
<div id="content">
48+
<h1>Posts tagged "haskell"</h1>
49+
50+
<ul>
51+
52+
<li>
53+
<a href="../posts/2015-02-17-atom-examples.html">Examples for the Atom library</a> - February 17, 2015
54+
</li>
55+
56+
<li>
57+
<a href="../posts/2015-02-06-how-i-got-here.html">How I Got Here (i.e. to using Haskell for embedded code)</a> - February 6, 2015
58+
</li>
59+
60+
</ul>
61+
62+
63+
</div>
64+
<div id="footer">
65+
Site proudly generated by
66+
<a href="http://jaspervdj.be/hakyll">Hakyll</a>
67+
</div>
68+
<script src="../js/bootstrap.js"></script>
69+
</body>
70+
</html>

‎tags/idris.html

+66
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,66 @@
1+
<?xml version="1.0" encoding="UTF-8" ?>
2+
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
3+
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
4+
<head>
5+
<meta charset="utf-8" />
6+
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7+
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
8+
<title>Haskell Embedded Blog - Posts tagged "idris"</title>
9+
<link href="../css/bootstrap.css" rel="stylesheet" />
10+
<link rel="stylesheet" type="text/css" href="../css/default.css" />
11+
<!-- syntax.css is Pandoc's syntax.css file, copied from:
12+
https://github.com/jaspervdj/hakyll/blob/master/web/css/syntax.css
13+
-->
14+
<link rel="stylesheet" type="text/css" href="../css/syntax.css" />
15+
16+
<link rel="apple-touch-icon" sizes="57x57" href="../apple-touch-icon-57x57.png">
17+
<link rel="apple-touch-icon" sizes="60x60" href="../apple-touch-icon-60x60.png">
18+
<link rel="apple-touch-icon" sizes="72x72" href="../apple-touch-icon-72x72.png">
19+
<link rel="apple-touch-icon" sizes="76x76" href="../apple-touch-icon-76x76.png">
20+
<link rel="apple-touch-icon" sizes="114x114" href="../apple-touch-icon-114x114.png">
21+
<link rel="apple-touch-icon" sizes="120x120" href="../apple-touch-icon-120x120.png">
22+
<link rel="apple-touch-icon" sizes="144x144" href="../apple-touch-icon-144x144.png">
23+
<link rel="apple-touch-icon" sizes="152x152" href="../apple-touch-icon-152x152.png">
24+
<link rel="apple-touch-icon" sizes="180x180" href="../apple-touch-icon-180x180.png">
25+
<link rel="icon" type="image/png" href="../favicon-32x32.png" sizes="32x32">
26+
<link rel="icon" type="image/png" href="../android-chrome-192x192.png" sizes="192x192">
27+
<link rel="icon" type="image/png" href="../favicon-96x96.png" sizes="96x96">
28+
<link rel="icon" type="image/png" href="../favicon-16x16.png" sizes="16x16">
29+
<link rel="manifest" href="../manifest.json">
30+
<meta name="msapplication-TileColor" content="#da532c">
31+
<meta name="msapplication-TileImage" content="/mstile-144x144.png">
32+
<meta name="theme-color" content="#ffffff">
33+
</head>
34+
<body>
35+
<div id="header">
36+
<div id="logo">
37+
<a href="../">Haskell Embedded Blog</a>
38+
</div>
39+
<div id="navigation">
40+
<a href="../">Home</a>
41+
<a href="../about.html">About</a>
42+
<a href="../contact.html">Contact</a>
43+
<a href="../archive.html">Archive</a>
44+
</div>
45+
</div>
46+
47+
<div id="content">
48+
<h1>Posts tagged "idris"</h1>
49+
50+
<ul>
51+
52+
<li>
53+
<a href="../posts/2015-02-06-how-i-got-here.html">How I Got Here (i.e. to using Haskell for embedded code)</a> - February 6, 2015
54+
</li>
55+
56+
</ul>
57+
58+
59+
</div>
60+
<div id="footer">
61+
Site proudly generated by
62+
<a href="http://jaspervdj.be/hakyll">Hakyll</a>
63+
</div>
64+
<script src="../js/bootstrap.js"></script>
65+
</body>
66+
</html>

‎tags/ivory.html

+66
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,66 @@
1+
<?xml version="1.0" encoding="UTF-8" ?>
2+
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
3+
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
4+
<head>
5+
<meta charset="utf-8" />
6+
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
7+
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
8+
<title>Haskell Embedded Blog - Posts tagged "ivory"</title>
9+
<link href="../css/bootstrap.css" rel="stylesheet" />
10+
<link rel="stylesheet" type="text/css" href="../css/default.css" />
11+
<!-- syntax.css is Pandoc's syntax.css file, copied from:
12+
https://github.com/jaspervdj/hakyll/blob/master/web/css/syntax.css
13+
-->
14+
<link rel="stylesheet" type="text/css" href="../css/syntax.css" />
15+
16+
<link rel="apple-touch-icon" sizes="57x57" href="../apple-touch-icon-57x57.png">
17+
<link rel="apple-touch-icon" sizes="60x60" href="../apple-touch-icon-60x60.png">
18+
<link rel="apple-touch-icon" sizes="72x72" href="../apple-touch-icon-72x72.png">
19+
<link rel="apple-touch-icon" sizes="76x76" href="../apple-touch-icon-76x76.png">
20+
<link rel="apple-touch-icon" sizes="114x114" href="../apple-touch-icon-114x114.png">
21+
<link rel="apple-touch-icon" sizes="120x120" href="../apple-touch-icon-120x120.png">
22+
<link rel="apple-touch-icon" sizes="144x144" href="../apple-touch-icon-144x144.png">
23+
<link rel="apple-touch-icon" sizes="152x152" href="../apple-touch-icon-152x152.png">
24+
<link rel="apple-touch-icon" sizes="180x180" href="../apple-touch-icon-180x180.png">
25+
<link rel="icon" type="image/png" href="../favicon-32x32.png" sizes="32x32">
26+
<link rel="icon" type="image/png" href="../android-chrome-192x192.png" sizes="192x192">
27+
<link rel="icon" type="image/png" href="../favicon-96x96.png" sizes="96x96">
28+
<link rel="icon" type="image/png" href="../favicon-16x16.png" sizes="16x16">
29+
<link rel="manifest" href="../manifest.json">
30+
<meta name="msapplication-TileColor" content="#da532c">
31+
<meta name="msapplication-TileImage" content="/mstile-144x144.png">
32+
<meta name="theme-color" content="#ffffff">
33+
</head>
34+
<body>
35+
<div id="header">
36+
<div id="logo">
37+
<a href="../">Haskell Embedded Blog</a>
38+
</div>
39+
<div id="navigation">
40+
<a href="../">Home</a>
41+
<a href="../about.html">About</a>
42+
<a href="../contact.html">Contact</a>
43+
<a href="../archive.html">Archive</a>
44+
</div>
45+
</div>
46+
47+
<div id="content">
48+
<h1>Posts tagged "ivory"</h1>
49+
50+
<ul>
51+
52+
<li>
53+
<a href="../posts/2015-02-06-how-i-got-here.html">How I Got Here (i.e. to using Haskell for embedded code)</a> - February 6, 2015
54+
</li>
55+
56+
</ul>
57+
58+
59+
</div>
60+
<div id="footer">
61+
Site proudly generated by
62+
<a href="http://jaspervdj.be/hakyll">Hakyll</a>
63+
</div>
64+
<script src="../js/bootstrap.js"></script>
65+
</body>
66+
</html>

0 commit comments

Comments
 (0)