From 0683dc99944cb41d7bf7fef15fee48f50da91e02 Mon Sep 17 00:00:00 2001
From: Daniel Patterson <dbp@dbpmail.net>
Date: Wed, 26 Jun 2019 09:21:07 -0400
Subject: [PATCH] Add ccc to homepage

---
 index.markdown | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/index.markdown b/index.markdown
index 835cd5c..ca8d38a 100644
--- a/index.markdown
+++ b/index.markdown
@@ -9,6 +9,9 @@ The easiest way to get in touch is via email: <a href="mailto:dbp@dbpmail.net">d
 ### Publications
 <div class="pubs">
 
+[**The Next 700 Compiler Correctness Theorems (Functional Pearl)**](/pubs/2019/ccc.pdf)
+<div class="desc">Daniel Patterson and Amal Ahmed. <br/>_ICFP 2019_. [PDF](/pubs/2019/ccc.pdf).</div>
+
 [**Phantom Contracts for Better Linking.**](/pubs/2018/phantom-contracts-src.pdf)
 <div class="desc">Daniel Patterson. <br/>_POPL 2019 Student Research Competition_. [Extended abstract](/pubs/2018/phantom-contracts-src.pdf) and [poster](/posters/phantom-contracts-popl2019-src.pdf).</div>