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