git.iko.soy/Idris-dev
on ebbae35 help sign in
Idris-dev/test/interactive010/expected
22 lines 555 B history raw
1Prelude.List.(++) : List a -> List a -> List a
2Prelude.Strings.(++) : String -> String -> String
3Prelude.Classes./ : (__pi_arg : Float) →
4 (__pi_arg1 : Float) → Float
5Usage is :doc <functionname>
6Usage is :wc <functionname>
7Usage is :printdef <functionname>
8prim__divFloat
9Prelude.Classes./
11 : Float -> Float -> Float
12(input):1:1: error: expected: ":",
13 dependent type signature,
14 end of input
15/<EOF>
16^
17(input):1:1: error: expected: ":",
18 dependent type signature,
19 end of input
20++<EOF>
21^
22prim__divFloat