git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/basic025/expected.out
12 lines 222 B history raw
10.7853981633974483 : Double
2-0.7853981633974483 : Double
32.356194490192345 : Double
4-2.356194490192345 : Double
50.0 : Double
61.5707963267948966 : Double
70.7853981633
8-0.7853981633
92.3561944901
10-2.3561944901
121.5707963267