From e805638580e9fef033bdac631bf34f988681d60f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <mortberg@chalmers.se>
Date: Tue, 14 Apr 2015 23:04:00 +0200
Subject: [PATCH] Make list compile

---
 examples/list.ctt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/examples/list.ctt b/examples/list.ctt
index 1073d10..64584a4 100644
--- a/examples/list.ctt
+++ b/examples/list.ctt
@@ -1,9 +1,11 @@
 module list where
 
+import prelude
+
 data list (A : U) = nil | cons (a : A) (as : list A)
 
 append (A : U) : list A -> list A -> list A = split
-  nil -> id (list A)
+  nil -> idfun (list A)
   cons x xs -> \(ys : list A) -> cons x (append A xs ys)
 
 reverse (A : U) : list A -> list A = split
-- 
2.34.1