From 0e21dcbf543f9a0367e69abd7f5f19b7852911e3 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Sun, 19 Sep 2004 20:27:38 +0000
Subject: Imper

---
 grammars/prelude/Prelude.gf | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'grammars')

diff --git a/grammars/prelude/Prelude.gf b/grammars/prelude/Prelude.gf
index 385a734ec..d124d7df6 100644
--- a/grammars/prelude/Prelude.gf
+++ b/grammars/prelude/Prelude.gf
@@ -29,6 +29,8 @@ oper
   postfixSS : Str        -> SS -> SS = \f,x   -> ss (x.s ++ f) ;
   embedSS   : Str -> Str -> SS -> SS = \f,g,x -> ss (f ++ x.s ++ g) ;
 
+  id : (A : Type) -> A -> A ;
+
 -- discontinuous
   SD2 = {s1,s2 : Str} ;
   sd2 : (_,_ : Str) -> SD2 = \x,y -> {s1 = x ; s2 = y} ;
-- 
cgit v1.2.3