git.iko.soy/Idris-dev
on aaaad69 help sign in
Idris-dev/test/primitives002
2 files
../ expectedAdd test for new float primitive prim__negFloat runAdd test for new float primitive prim__negFloat