-
Notifications
You must be signed in to change notification settings - Fork 0
/
contact.html
55 lines (49 loc) · 2.33 KB
/
contact.html
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
<?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>Higher Types — Contact</title>
<link rel="stylesheet" type="text/css" href="./css/default.css" />
<link rel="stylesheet" type="text/css" href="./css/agda.css" />
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-74182143-1', 'auto');
ga('send', 'pageview');
</script>
</head>
<body>
<div id="header">
<div id="logo">
<a href="./index.html">Higher Types</a>
</div>
<div id="navigation">
<a href="./index.html">Home</a>
<a href="./about.html">About</a>
<a href="./contact.html">Contact</a>
<a href="./archive.html">Archive</a>
</div>
</div>
<div id="content">
<h1>Contact</h1>
<p>I am a PhD candidate at Princeton University studying logic and programming langauge theory.</p>
<p>My life is both powered and motivated by food. To compensate for all of the eating this causes, I run marathons. I also enjoy photography, yet ironically am not one to take pictures of my food; the two do best when separated.</p>
<ul>
<li>email: <script type="text/javascript">
<!--
h='cs.princeton.edu';a='@';n='mzw';e=n+a+h;
document.write('<a h'+'ref'+'="ma'+'ilto'+':'+e+'" clas'+'s="em' + 'ail">'+e+'<\/'+'a'+'>');
// -->
</script><noscript>mzw at cs dot princeton dot edu</noscript></li>
<li>GitHub: <a href="https://github.com/mweav" title="GitHub">www.github.com/mweav</a></li>
</ul>
</div>
<div id="footer">
Site proudly generated by
<a href="http://jaspervdj.be/hakyll">Hakyll</a>
</div>
</body>
</html>