| | | |
Offset 1, 62 lines modified | Offset 1, 62 lines modified |
| 1 | -rwxr-xr-x···0·root·········(0)·root·········(0)······701·2019-01-04·20:40:54.000000·./test.sh |
| 2 | -rw-r--r--···0·root·········(0)·root·········(0)······107·2019-01-04·20:40:54.000000·./.gitignore |
| 3 | -rw-r--r--···0·root·········(0)·root·········(0)·····2384·2019-01-04·20:40:54.000000·./Distribution.curry |
| 4 | -rw-r--r--···0·root·········(0)·root·········(0)·····4183·2019-01-04·20:40:54.000000·./System.curry |
1 | -rw-r--r--···0·root·········(0)·root·········(0)······522·2019-01-04·20:40:54.000000·./README.md | 5 | -rw-r--r--···0·root·········(0)·root·········(0)·····2708·2019-01-04·20:40:54.000000·./Maybe.curry |
| 6 | -rw-r--r--···0·root·········(0)·root·········(0)·····9214·2019-01-04·20:40:54.000000·./Makefile_kics2 |
| 7 | -rw-r--r--···0·root·········(0)·root·········(0)·····1894·2019-01-04·20:40:54.000000·./Unsafe.pakcs |
2 | -rw-r--r--···0·root·········(0)·root·········(0)····56879·2019-01-04·20:40:54.000000·./Prelude.curry | 8 | -rw-r--r--···0·root·········(0)·root·········(0)·····6423·2019-01-04·20:40:54.000000·./Time.curry |
| 9 | -rw-r--r--···0·root·········(0)·root·········(0)·····1817·2019-01-04·20:40:54.000000·./Directory.pakcs |
3 | -rw-r--r--···0·root·········(0)·root·········(0)·····1028·2019-01-04·20:40:54.000000·./IOExts.pakcs | 10 | -rw-r--r--···0·root·········(0)·root·········(0)·····6793·2019-01-04·20:40:54.000000·./IOExts.kics2 |
| 11 | -rw-r--r--···0·root·········(0)·root·········(0)·····8457·2019-01-04·20:40:54.000000·./IO.curry |
4 | -rw-r--r--···0·root·········(0)·root·········(0)·····4000·2019-01-04·20:40:54.000000·./ReadNumeric.curry | 12 | -rw-r--r--···0·root·········(0)·root·········(0)·····4000·2019-01-04·20:40:54.000000·./ReadNumeric.curry |
| 13 | -rw-r--r--···0·root·········(0)·root·········(0)·····8494·2019-01-04·20:40:54.000000·./Test/Prop.curry |
| 14 | -rw-r--r--···0·root·········(0)·root·········(0)·····1197·2019-01-04·20:40:54.000000·./Test/Prop/Types.curry |
5 | -rw-r--r--···0·root·········(0)·root·········(0)·····1699·2019-01-04·20:40:54.000000·./Makefile_pakcs_install | 15 | -rw-r--r--···0·root·········(0)·root·········(0)·····1699·2019-01-04·20:40:54.000000·./Makefile_pakcs_install |
6 | -rw-r--r--···0·root·········(0)·root·········(0)·····1308·2019-01-04·20:40:54.000000·./Function.curry | |
7 | -rw-r--r--···0·root·········(0)·root·········(0)······655·2019-01-04·20:40:54.000000·./Time.pakcs | 16 | -rw-r--r--···0·root·········(0)·root·········(0)·······45·2019-01-04·20:40:54.000000·./Setup.hs |
8 | -rw-r--r--···0·root·········(0)·root·········(0)·····1330·2019-01-04·20:40:54.000000·./Distribution.kics2 | |
9 | -rw-r--r--···0·root·········(0)·root·········(0)·····2384·2019-01-04·20:40:54.000000·./Distribution.curry | |
10 | -rw-r--r--···0·root·········(0)·root·········(0)·····4912·2019-01-04·20:40:54.000000·./Makefile_pakcs | |
11 | -rw-r--r--···0·root·········(0)·root·········(0)·····3556·2019-01-04·20:40:54.000000·./Char.curry | |
12 | -rw-r--r--···0·root·········(0)·root·········(0)·····4883·2019-01-04·20:40:54.000000·./Directory.curry | |
13 | -rw-r--r--···0·root·········(0)·root·········(0)·····3897·2019-01-04·20:40:54.000000·./Float.kics2 | 17 | -rw-r--r--···0·root·········(0)·root·········(0)·····3897·2019-01-04·20:40:54.000000·./Float.kics2 |
| 18 | -rw-r--r--···0·root·········(0)·root·········(0)·····4912·2019-01-04·20:40:54.000000·./Makefile_pakcs |
14 | -rw-r--r--···0·root·········(0)·root·········(0)·····1846·2019-01-04·20:40:54.000000·./ShowS.curry | 19 | -rw-r--r--···0·root·········(0)·root·········(0)·····1459·2019-01-04·20:40:54.000000·./Distribution.pakcs |
15 | -rw-r--r--···0·root·········(0)·root·········(0)·····1037·2019-01-04·20:40:54.000000·./ReadShowTerm.kics2 | |
16 | -rw-r--r--···0·root·········(0)·root·········(0)······694·2019-01-04·20:40:54.000000·./ReadShowTerm.pakcs | 20 | -rw-r--r--···0·root·········(0)·root·········(0)·····6293·2019-01-04·20:40:54.000000·./ReadShowTerm.curry |
17 | -rw-r--r--···0·root·········(0)·root·········(0)·····2595·2019-01-04·20:40:54.000000·./Time.kics2 | 21 | -rw-r--r--···0·root·········(0)·root·········(0)······488·2019-01-04·20:40:54.000000·./Unsafe.kics2 |
| 22 | -rw-r--r--···0·root·········(0)·root·········(0)·····1330·2019-01-04·20:40:54.000000·./Distribution.kics2 |
18 | -rw-r--r--···0·root·········(0)·root·········(0)·····2376·2019-01-04·20:40:54.000000·./ErrorState.curry | 23 | -rw-r--r--···0·root·········(0)·root·········(0)·····1056·2019-01-04·20:40:54.000000·./FunctionInversion.curry |
19 | -rw-r--r--···0·root·········(0)·root·········(0)·····1480·2019-01-04·20:40:54.000000·./LICENSE | 24 | -rw-r--r--···0·root·········(0)·root·········(0)·····1480·2019-01-04·20:40:54.000000·./LICENSE |
| 25 | -rw-r--r--···0·root·········(0)·root·········(0)····17222·2019-01-04·20:40:54.000000·./GetOpt.curry |
20 | -rw-r--r--···0·root·········(0)·root·········(0)·····1542·2019-01-04·20:40:54.000000·./Makefile_kics2_install | 26 | -rw-r--r--···0·root·········(0)·root·········(0)····13784·2019-01-04·20:40:54.000000·./List.curry |
| 27 | -rw-r--r--···0·root·········(0)·root·········(0)·····3556·2019-01-04·20:40:54.000000·./Char.curry |
| 28 | -rw-r--r--···0·root·········(0)·root·········(0)·····8247·2019-01-04·20:40:54.000000·./Sort.curry |
21 | -rw-r--r--···0·root·········(0)·root·········(0)····93283·2019-01-04·20:40:54.000000·./Prelude.kics2 | 29 | -rw-r--r--···0·root·········(0)·root·········(0)····93283·2019-01-04·20:40:54.000000·./Prelude.kics2 |
22 | -rw-r--r--···0·root·········(0)·root·········(0)·····6423·2019-01-04·20:40:54.000000·./Time.curry | |
23 | -rw-r--r--···0·root·········(0)·root·········(0)·····2192·2019-01-04·20:40:54.000000·./IO.pakcs | 30 | -rw-r--r--···0·root·········(0)·root·········(0)·····2192·2019-01-04·20:40:54.000000·./IO.pakcs |
24 | -rw-r--r--···0·root·········(0)·root·········(0)·····8247·2019-01-04·20:40:54.000000·./Sort.curry | 31 | -rw-r--r--···0·root·········(0)·root·········(0)·····1846·2019-01-04·20:40:54.000000·./ShowS.curry |
25 | -rw-r--r--···0·root·········(0)·root·········(0)·····4066·2019-01-04·20:40:54.000000·./FileGoodies.curry | |
26 | -rw-r--r--···0·root·········(0)·root·········(0)·····8457·2019-01-04·20:40:54.000000·./IO.curry | |
27 | -rw-r--r--···0·root·········(0)·root·········(0)····17222·2019-01-04·20:40:54.000000·./GetOpt.curry | |
28 | -rw-r--r--···0·root·········(0)·root·········(0)·····2762·2019-01-04·20:40:54.000000·./Global.curry | |
29 | -rw-r--r--···0·root·········(0)·root·········(0)·····1817·2019-01-04·20:40:54.000000·./Directory.pakcs | 32 | -rw-r--r--···0·root·········(0)·root·········(0)·····4883·2019-01-04·20:40:54.000000·./Directory.curry |
30 | -rw-r--r--···0·root·········(0)·root·········(0)········6·2019-01-04·20:40:54.000000·./VERSION | 33 | -rw-r--r--···0·root·········(0)·root·········(0)········6·2019-01-04·20:40:54.000000·./VERSION |
| 34 | -rw-r--r--···0·root·········(0)·root·········(0)·····6452·2019-01-04·20:40:54.000000·./Global.kics2 |
31 | -rwxr-xr-x···0·root·········(0)·root·········(0)······701·2019-01-04·20:40:54.000000·./test.sh | 35 | -rw-r--r--···0·root·········(0)·root·········(0)·····1028·2019-01-04·20:40:54.000000·./IOExts.pakcs |
32 | -rw-r--r--···0·root·········(0)·root·········(0)······107·2019-01-04·20:40:54.000000·./.gitignore | |
33 | -rw-r--r--···0·root·········(0)·root·········(0)····29768·2019-01-04·20:40:54.000000·./FilePath.curry | 36 | -rw-r--r--···0·root·········(0)·root·········(0)····29768·2019-01-04·20:40:54.000000·./FilePath.curry |
34 | -rw-r--r--···0·root·········(0)·root·········(0)·····2708·2019-01-04·20:40:54.000000·./Maybe.curry | |
35 | -rw-r--r--···0·root·········(0)·root·········(0)·····1683·2019-01-04·20:40:54.000000·./Either.curry | |
36 | -rw-r--r--···0·root·········(0)·root·········(0)·····5565·2019-01-04·20:40:54.000000·./IO.kics2 | |
37 | -rw-r--r--···0·root·········(0)·root·········(0)·····1971·2019-01-04·20:40:54.000000·./Read.curry | |
38 | -rw-r--r--···0·root·········(0)·root·········(0)······488·2019-01-04·20:40:54.000000·./Unsafe.kics2 | |
39 | -rw-r--r--···0·root·········(0)·root·········(0)·····6865·2019-01-04·20:40:54.000000·./IOExts.curry | 37 | -rw-r--r--···0·root·········(0)·root·········(0)·····6865·2019-01-04·20:40:54.000000·./IOExts.curry |
40 | -rw-r--r--···0·root·········(0)·root·········(0)·····1459·2019-01-04·20:40:54.000000·./Distribution.pakcs | |
41 | -rw-r--r--···0·root·········(0)·root·········(0)····13784·2019-01-04·20:40:54.000000·./List.curry | |
42 | -rw-r--r--···0·root·········(0)·root·········(0)·····3123·2019-01-04·20:40:54.000000·./System.kics2 | |
43 | -rw-r--r--···0·root·········(0)·root·········(0)·····1197·2019-01-04·20:40:54.000000·./Test/Prop/Types.curry | |
44 | -rw-r--r--···0·root·········(0)·root·········(0)·····8494·2019-01-04·20:40:54.000000·./Test/Prop.curry | |
45 | -rw-r--r--···0·root·········(0)·root·········(0)·····6750·2019-01-04·20:40:54.000000·./Prelude.pakcs | |
46 | -rw-r--r--···0·root·········(0)·root·········(0)·····1647·2019-01-04·20:40:54.000000·./Debug.curry | 38 | -rw-r--r--···0·root·········(0)·root·········(0)·····1971·2019-01-04·20:40:54.000000·./Read.curry |
| 39 | -rw-r--r--···0·root·········(0)·root·········(0)·····1308·2019-01-04·20:40:54.000000·./Function.curry |
47 | -rw-r--r--···0·root·········(0)·root·········(0)······406·2019-01-04·20:40:54.000000·./Global.pakcs | 40 | -rw-r--r--···0·root·········(0)·root·········(0)·····4066·2019-01-04·20:40:54.000000·./FileGoodies.curry |
48 | -rw-r--r--···0·root·········(0)·root·········(0)·····4183·2019-01-04·20:40:54.000000·./System.curry | 41 | -rw-r--r--···0·root·········(0)·root·········(0)·····1683·2019-01-04·20:40:54.000000·./Either.curry |
49 | -rw-r--r--···0·root·········(0)·root·········(0)·····1894·2019-01-04·20:40:54.000000·./Unsafe.pakcs | |
50 | -rw-r--r--···0·root·········(0)·root·········(0)·····6452·2019-01-04·20:40:54.000000·./Global.kics2 | |
51 | -rw-r--r--···0·root·········(0)·root·········(0)·····9214·2019-01-04·20:40:54.000000·./Makefile_kics2 | |
52 | -rw-r--r--···0·root·········(0)·root·········(0)·····1472·2019-01-04·20:40:54.000000·./System.pakcs | |
53 | -rw-r--r--···0·root·········(0)·root·········(0)·····6793·2019-01-04·20:40:54.000000·./IOExts.kics2 | |
54 | -rw-r--r--···0·root·········(0)·root·········(0)·····2692·2019-01-04·20:40:54.000000·./Float.pakcs | 42 | -rw-r--r--···0·root·········(0)·root·········(0)·····2692·2019-01-04·20:40:54.000000·./Float.pakcs |
55 | -rw-r--r--···0·root·········(0)·root·········(0)·····4347·2019-01-04·20:40:54.000000·./Float.curry | 43 | -rw-r--r--···0·root·········(0)·root·········(0)·····4347·2019-01-04·20:40:54.000000·./Float.curry |
56 | -rw-r--r--···0·root·········(0)·root·········(0)·······45·2019-01-04·20:40:54.000000·./Setup.hs | 44 | -rw-r--r--···0·root·········(0)·root·········(0)······406·2019-01-04·20:40:54.000000·./Global.pakcs |
57 | -rw-r--r--···0·root·········(0)·root·········(0)·····1056·2019-01-04·20:40:54.000000·./FunctionInversion.curry | |
58 | -rw-r--r--···0·root·········(0)·root·········(0)·····6293·2019-01-04·20:40:54.000000·./ReadShowTerm.curry | 45 | -rw-r--r--···0·root·········(0)·root·········(0)·····3123·2019-01-04·20:40:54.000000·./System.kics2 |
59 | -rw-r--r--···0·root·········(0)·root·········(0)·····1827·2019-01-04·20:40:54.000000·./State.curry | 46 | -rw-r--r--···0·root·········(0)·root·········(0)·····1827·2019-01-04·20:40:54.000000·./State.curry |
| 47 | -rw-r--r--···0·root·········(0)·root·········(0)······655·2019-01-04·20:40:54.000000·./Time.pakcs |
| 48 | -rw-r--r--···0·root·········(0)·root·········(0)······522·2019-01-04·20:40:54.000000·./README.md |
| 49 | -rw-r--r--···0·root·········(0)·root·········(0)······694·2019-01-04·20:40:54.000000·./ReadShowTerm.pakcs |
| 50 | -rw-r--r--···0·root·········(0)·root·········(0)·····1647·2019-01-04·20:40:54.000000·./Debug.curry |
| 51 | -rw-r--r--···0·root·········(0)·root·········(0)·····2762·2019-01-04·20:40:54.000000·./Global.curry |
| 52 | -rw-r--r--···0·root·········(0)·root·········(0)·····1037·2019-01-04·20:40:54.000000·./ReadShowTerm.kics2 |
| 53 | -rw-r--r--···0·root·········(0)·root·········(0)·····2376·2019-01-04·20:40:54.000000·./ErrorState.curry |
| 54 | -rw-r--r--···0·root·········(0)·root·········(0)·····5565·2019-01-04·20:40:54.000000·./IO.kics2 |
| 55 | -rw-r--r--···0·root·········(0)·root·········(0)·····1542·2019-01-04·20:40:54.000000·./Makefile_kics2_install |
60 | -rw-r--r--···0·root·········(0)·root·········(0)·····2978·2019-01-04·20:40:54.000000·./Directory.kics2 | 56 | -rw-r--r--···0·root·········(0)·root·········(0)·····2595·2019-01-04·20:40:54.000000·./Time.kics2 |
| 57 | -rw-r--r--···0·root·········(0)·root·········(0)·····1472·2019-01-04·20:40:54.000000·./System.pakcs |
61 | -rw-r--r--···0·root·········(0)·root·········(0)·····6225·2019-01-04·20:40:54.000000·./Integer.curry | 58 | -rw-r--r--···0·root·········(0)·root·········(0)·····6225·2019-01-04·20:40:54.000000·./Integer.curry |
| 59 | -rw-r--r--···0·root·········(0)·root·········(0)·····6750·2019-01-04·20:40:54.000000·./Prelude.pakcs |
62 | -rw-r--r--···0·root·········(0)·root·········(0)·····8852·2019-01-04·20:40:54.000000·./Unsafe.curry | 60 | -rw-r--r--···0·root·········(0)·root·········(0)·····8852·2019-01-04·20:40:54.000000·./Unsafe.curry |
| 61 | -rw-r--r--···0·root·········(0)·root·········(0)·····2978·2019-01-04·20:40:54.000000·./Directory.kics2 |
| 62 | -rw-r--r--···0·root·········(0)·root·········(0)····56879·2019-01-04·20:40:54.000000·./Prelude.curry |