git.iko.soy/Idris-dev
on master help sign in
Fix primitives002
0ed71c9Edwin Brady
test/primitives002/run−2
compare with master
unifiedsplit
@@ -2,8 +2,6 @@
2
2
3HEAD='module Main
3HEAD='module Main
4
4
5−import Data.Floats
6−
7strtake : Nat -> String -> String
5strtake : Nat -> String -> String
8strtake n str = pack (take n (unpack str))
6strtake n str = pack (take n (unpack str))
9
7