@@ -1,7 +1,13 @@
1−Idris> Prelude.List.(++) : List a -> List a -> List a
1+Prelude.List.(++) : List a -> List a -> List a
22Prelude.Strings.(++) : String -> String -> String
3−Idris> Prelude.List.(++) : List a -> List a -> List a
4−Prelude.Strings.(++) : String -> String -> String
5−Idris> (++) : List a -> List a -> List a
6−Idris> (++) : List a -> List a -> List a
7−Idris> Bye bye
3+Prelude.Classes./ : (__pi_arg : Float) →
4+ (__pi_arg1 : Float) → Float
5+Usage is :doc <functionname>
6+Usage is :printdef <functionname>
7+prim__divFloat
8+Prelude.Classes./
9+
10+ : Float -> Float -> Float
11+prim__divFloat : Double -> Double -> Double
12+(input):Can't infer argument a to (++)
13+prim__divFloat