git.iko.soy/Idris-dev
on 4e6adeb help sign in
Idris-dev/test/test034/expected
44 lines 637 B history raw
1prim__floatToStr 0.0
2"0.0"
3prim__strToFloat "0.0"
40.0
5prim__addFloat 1.0 1.0
62.0
7prim__subFloat 1.0 1.0
80.0
9prim__mulFloat 1.0 1.0
101.0
11prim__divFloat 1.0 1.0
121.0
13prim__slteFloat 1.0 1.0
15prim__sltFloat 1.0 1.0
17prim__sgteFloat 1.0 1.0
19prim__sgtFloat 1.0 1.0
21prim__eqFloat 1.0 1.0
23prim__floatACos 1.0
240.0
25prim__floatATan 1.0
260.7853981633974483
27prim__floatCos 1.0
280.5403023058681398
29prim__floatFloor 1.0
301.0
31prim__floatSin 1.0
320.8414709848078965
33prim__floatTan 1.0
341.5574077246549023
35prim__floatASin 1.0
361.5707963267948966
37prim__floatCeil 1.0
381.0
39prim__floatExp 1.0
402.718281828459045
41prim__floatLog 1.0
420.0
43prim__floatSqrt 1.0
441.0