packages feed

idris-1.3.3: test/basic025/expected.out

0.7853981633974483 : Double
-0.7853981633974483 : Double
2.356194490192345 : Double
-2.356194490192345 : Double
0.0 : Double
1.5707963267948966 : Double
0.7853981633
-0.7853981633
2.3561944901
-2.3561944901
0
1.5707963267