This repository was archived by the owner on Aug 3, 2024. It is now read-only.
File tree
260 files changed
+9792
-2350
lines changed- .github/workflows
- doc
- haddock-api
- resources/html
- Linuwial.std-theme
- js-src
- src
- Haddock
- Backends
- Hyperlinker
- Xhtml
- Interface
- Utils
- haddock-library
- fixtures/examples
- src
- Documentation/Haddock
- Parser
- test/Documentation/Haddock
- haddock-test
- hoogle-test
- ref/Bug992
- src/Bug992
- html-test
- ref
- src
- hypsrc-test
- ref/src
- src
- latex-test
- ref
- ConstructorArgs
- DefaultSignatures
- Deprecated
- Example
- GadtConstructorArgs
- NamespacedIdentifier
- Simple
- TypeFamilies3
- UnboxedStuff
- src
- DefaultSignatures
- Deprecated
- Example
- NamespacedIdentifier
- scripts
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
260 files changed
+9792
-2350
lines changedLines changed: 0 additions & 5 deletions
This file was deleted.
Lines changed: 0 additions & 24 deletions
This file was deleted.
Lines changed: 0 additions & 1 deletion
This file was deleted.
Lines changed: 49 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + |
Lines changed: 6 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
8 | 8 |
| |
9 | 9 |
| |
10 | 10 |
| |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
11 | 17 |
| |
12 | 18 |
| |
13 | 19 |
| |
|
Lines changed: 0 additions & 104 deletions
This file was deleted.
Lines changed: 28 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
| 1 | + | |
2 | 2 |
| |
3 |
| - | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
4 | 11 |
| |
5 | 12 |
| |
6 | 13 |
| |
| |||
12 | 19 |
| |
13 | 20 |
| |
14 | 21 |
| |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
15 | 41 |
| |
16 | 42 |
| |
17 | 43 |
| |
|
Lines changed: 52 additions & 57 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
1 |
| - | |
2 |
| - | |
3 |
| - | |
4 |
| - | |
5 |
| - | |
6 |
| - | |
7 |
| - | |
8 |
| - | |
9 |
| - | |
10 |
| - | |
11 |
| - | |
12 |
| - | |
| 1 | + | |
13 | 2 |
| |
| 3 | + | |
| 4 | + | |
| 5 | + | |
14 | 6 |
| |
15 | 7 |
| |
16 | 8 |
| |
17 | 9 |
| |
18 | 10 |
| |
19 |
| - | |
20 |
| - | |
21 |
| - | |
22 |
| - | |
23 |
| - | |
24 |
| - | |
25 |
| - | |
26 |
| - | |
| 11 | + | |
| 12 | + | |
27 | 13 |
| |
28 |
| - | |
29 |
| - | |
30 |
| - | |
31 |
| - | |
32 |
| - | |
33 |
| - | |
34 |
| - | |
35 |
| - | |
36 |
| - | |
37 |
| - | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
38 | 17 |
| |
| 18 | + | |
| 19 | + | |
| 20 | + | |
39 | 21 |
| |
40 | 22 |
| |
41 | 23 |
| |
42 |
| - | |
| 24 | + | |
| 25 | + | |
43 | 26 |
| |
44 | 27 |
| |
45 | 28 |
| |
46 |
| - | |
| 29 | + | |
47 | 30 |
| |
48 | 31 |
| |
49 | 32 |
| |
50 | 33 |
| |
51 |
| - | |
52 |
| - | |
| 34 | + | |
| 35 | + | |
53 | 36 |
| |
54 | 37 |
| |
55 | 38 |
| |
56 | 39 |
| |
57 |
| - | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
58 | 45 |
| |
59 | 46 |
| |
60 |
| - | |
61 |
| - | |
62 |
| - | |
| 47 | + | |
| 48 | + | |
63 | 49 |
| |
64 | 50 |
| |
65 |
| - | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
66 | 61 |
| |
67 | 62 |
| |
68 | 63 |
| |
| |||
78 | 73 |
| |
79 | 74 |
| |
80 | 75 |
| |
81 |
| - | |
82 |
| - | |
83 |
| - | |
84 |
| - | |
85 |
| - | |
86 |
| - | |
87 |
| - | |
88 |
| - | |
89 |
| - | |
90 |
| - | |
91 | 76 |
| |
92 | 77 |
| |
93 |
| - | |
94 |
| - | |
95 |
| - | |
96 |
| - | |
| 78 | + | |
| 79 | + | |
| 80 | + | |
97 | 81 |
| |
98 | 82 |
| |
99 |
| - | |
| 83 | + | |
100 | 84 |
| |
101 |
| - | |
102 |
| - | |
| 85 | + | |
| 86 | + | |
| 87 | + | |
| 88 | + | |
103 | 89 |
| |
104 | 90 |
| |
105 |
| - | |
| 91 | + | |
| 92 | + | |
106 | 93 |
| |
| 94 | + | |
| 95 | + | |
| 96 | + | |
| 97 | + | |
| 98 | + | |
| 99 | + | |
| 100 | + | |
| 101 | + |
Lines changed: 0 additions & 3 deletions
This file was deleted.
0 commit comments