@@ -7,7 +7,7 @@ Main.main : IO ()
7Main.main is Total
7Main.main is Total
8Hello, World
8Hello, World
10−Prelude.Basics.id : {a : Type} -> (__pi_arg : a) -> a
10+Prelude.Basics.id : {a : Type} -> a -> a
11id : a -> a
11id : a -> a
13 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS ``AS IS'' AND ANY
13 THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS ``AS IS'' AND ANY