From c01e8da5a82012444a9d2c2b196a0cb29d9ddbdb Mon Sep 17 00:00:00 2001
From: ben <benjaminlgreenman@gmail.com>
Date: Fri, 11 Mar 2016 06:57:53 -0500
Subject: [PATCH] [icfp] outlined experience section

---
 icfp-2016/experience.scrbl | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/icfp-2016/experience.scrbl b/icfp-2016/experience.scrbl
index bd266de..a96fbe1 100644
--- a/icfp-2016/experience.scrbl
+++ b/icfp-2016/experience.scrbl
@@ -1,6 +1,16 @@
 #lang scribble/sigplan
 
-@title{Experience}
+@title[#:tag "sec:experience"]{Experience}
 
 @; compile times, running times, binary size
 @; LOC reduction, bugs caught
+
+We used the library to simplify @todo{lines} of database code and @todo{lines}
+ of vector code.
+Performance of the vector code improved by @todo{xxx}, a nice bonus.
+
+@todo{figure} gives microbenchmarking results for printf, regexp, and vector-@todo{}.
+Have compile-time, executable size, and run-time.
+Things look okay.
+We don't bother trying to quantify the bug-catching utility.
+