joyfulmantis.github.io/index.html at master · joyfulmantis/joyfulmantis.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
<?xml version="1.0" encoding="UTF-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
    <title>joyfulmantis - Home</title>
    <link rel="stylesheet" type="text/css" href="./css/default.css" />
    <link rel="stylesheet" type="text/css" href="./css/syntax.css" />
    <link href="http://fonts.googleapis.com/css?family=Quattrocento" rel="stylesheet" type="text/css" />
    <link href="http://fonts.googleapis.com/css?family=Open+Sans" rel="stylesheet" type="text/css" />
    <link href="https://fonts.googleapis.com/css?family=Inconsolata" rel="stylesheet" />
    <link rel="alternate" type="application/atom+xml" title="Blog" href="./atom.xml" />

  </head>
  <body>
    <div id="header">
      <div id="logo">
        <a href="./">joyfulmantis</a>
      </div>
      <div id="navigation">

        <a id="current" href="./">home</a>


        <a href="./about.html">about</a>


        <a href="./projects.html">projects</a>


        <a href="./contact.html">contact</a>


        <a href="./archives.html">archives</a>

      </div>
    </div>

    <div id="content">


      <p>Welcome!</p>

<p>Here is a short list of recent blog posts for your viewing pleasure:</p>

<ul>

        <li>
            <a href="./posts/2023-12-03-risingtone.html">RisingTone: A better way to learn Chinese tones</a> - December  3, 2023
        </li>

        <li>
            <a href="./posts/2023-08-01-hacking-hls.html">Hacking HLS: My Summer of Haskell journey</a> - August  1, 2023
        </li>

        <li>
            <a href="./posts/2017-08-23-functors-applicatives-monads.html">Functors, Applicatives, and Monads: You don't need to know theory to use them</a> - August 23, 2017
        </li>

        <li>
            <a href="./posts/2014-11-14-the-very-first-post.html">The Very First Post</a> - November 14, 2014
        </li>

</ul>


<p>If you want more, head over to the <a href="./archives.html">archives</a>.</p>

    </div>
    <div id="footer">
      <div id="proud"> Site proudly generated by
      <a href="http://jaspervdj.be/hakyll">Hakyll</a></div>
    </div>
  </body>
</html>