Make list compile

diff --git a/examples/list.ctt b/examples/list.ctt
index 1073d10c9ffce58f4e1bc3e00898ecc20b09be51..64584a40e5d03327178b1070946055165dc46d6e 100644 (file)
--- 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