git.iko.soy/Idris-dev
on ca34dec help sign in
Idris-dev/test/primitives006/expected
9 lines 197 B history raw
11024
2("01/8", (145536, 897))
3("02/8", (145536, 897))
4("03/8", (145536, 897))
5("04/8", (145536, 897))
6("05/8", (145536, 897))
7("06/8", (145536, 897))
8("07/8", (145536, 897))
9("08/8", (145536, 897))