-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.jade
More file actions
40 lines (36 loc) · 1.32 KB
/
index.jade
File metadata and controls
40 lines (36 loc) · 1.32 KB
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
!!! 5
html
head
meta(charset='utf-8')
meta(http-equiv='X-UA-Compatible', content='chrome=1')
title monoid
link(rel='stylesheet', href='css/styles.css')
link(rel='stylesheet', href='css/pygment_trac.css')
meta(name='viewport', content='width=device-width, initial-scale=1, user-scalable=no')
//if lt IE 9
| <script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
body
.wrapper
header
h1
img(src='img/logo.png', alt='monoid', title="A monad is just a monoid in the category of endofunctors, what's the problem?")
section
p!= content
footer
script(src='/js/konami.js')
script.
// Easter egg for all you snoopy folks.
var easterEgg = new Konami();
easterEgg.code = function() {
alert("Don't you just hate JavaScript alerts?")
};
easterEgg.load();
// Google analytics
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-37701198-1']);
_gaq.push(['_trackPageview']);
(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();