-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathindex.html
42 lines (42 loc) · 2.53 KB
/
index.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
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="generator" content="pandoc">
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
<meta name="author" content="Jakob Larsson [email protected]">
<title>Types for Programs and Proofs - DAT350</title>
<style type="text/css">code{white-space: pre;}</style>
<!--[if lt IE 9]>
<script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
<link rel="stylesheet" href="pandoc.css">
</head>
<body>
<header>
<h1 class="title">Types for Programs and Proofs - DAT350</h1>
<h2 class="author">Jakob Larsson <script type="text/javascript">
<!--
h='karljakoblarsson.com';a='@';n='jakob';e=n+a+h;
document.write('<a h'+'ref'+'="ma'+'ilto'+':'+e+'" clas'+'s="em' + 'ail">'+e+'<\/'+'a'+'>');
// -->
</script><noscript>jakob at karljakoblarsson dot com</noscript></h2>
<h3 class="date">Lp1 2017</h3>
</header>
<p>Notes taken during the Chalmers course Types for Programs and Proofs. They are written during the lectures and not edited afterwards so they are quite messy. Most of the proofs are missing but I tried to write down any important or unintuitive step in proofs.</p>
<p>The notes are hosted on <a href="https://github.com/karljakoblarsson/types-notes%20"karljakoblarsson/types-notes"">github</a>. Please improve them and send a pull request!</p>
<p>As you cans see lecture 4 appears two times but the content is different. Something is wrong but hopefully most of the content is there.</p>
<ul>
<li><a href="types.html" title="Lecture 1">Lecture 1</a></li>
<li><a href="lecture2.agda" title="Lecture 2">Lecture 2 (Agda)</a></li>
<li><a href="lecture3.agda" title="Lecture 3">Lecture 3 (Agda)</a></li>
<li><a href="lecture4.agda" title="Lecture 4">Lecture 4 (Agda)</a></li>
<li><a href="lecture4.html" title="Lecture 4">Lecture 4</a></li>
<li><a href="lecture5.lagda.html" title="Lecture 5">Lecture 5</a></li>
<li><a href="lecture6.lagda.html" title="Lecture 6">Lecture 6</a></li>
<li><del><a href="lecture7.lagda.html" title="Lecture 7">Lecture 7</a></del> (I lost the notes)</li>
<li><a href="lecture8.lagda.html" title="Lecture 8">Lecture 8</a></li>
<li><a href="lecture9.lagda.html" title="Lecture 9">Lecture 9</a></li>
</ul>
</body>
</html>