git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/primitives002/expected.out
46 lines 588 B history raw
1prim__floatToStr 0.0
2"0"
3prim__strToFloat 0.0
40
5prim__addFloat 1.0 1.0
62
7prim__subFloat 1.0 1.0
80
9prim__mulFloat 1.0 1.0
11prim__divFloat 1.0 1.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
25prim__floatATan 1.0
260.78539816
27prim__floatCos 1.0
280.54030230
29prim__floatFloor 1.0
31prim__floatSin 1.0
320.84147098
33prim__floatTan 1.0
341.55740772
35prim__floatASin 1.0
361.57079632
37prim__floatCeil 1.0
39prim__floatExp 1.0
402.71828182
41prim__floatLog 1.0
43prim__floatSqrt 1.0
45prim__negFloat 1.0
46-1