blob: f88be87df9a1e0d6b334b7c55cf19e99642d0c54 (
plain) (
blame)
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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
|
module Nesting where
{-|
* We can
* easily go back
1. some indentation
* levels
1. @back at the top@
-}
d :: t
d = undefined
{-|
* Beginning of list
* second list
* Some indented list but
the presence of this text pushes it out of nesting back to the top.
-}
e :: t
e = undefined
{-|
* Beginning of list
@
nested code
we preserve the space correctly
@
-}
f :: t
f = undefined
{-|
* Beginning of list
* Nested list
-}
g :: t
g = undefined
{-|
* Beginning of list
> nested
> bird
> tracks
-}
h :: t
h = undefined
{-|
* Beginning of list
This belongs to the list above!
> nested
> bird
> tracks
>
> another line
> with indentation
>nested bird tracks
> without leading space
* Next list
More of the indented list.
* Deeper
* Deeper
* Even deeper!
* No newline separation even in indented lists.
-}
i :: t
i = undefined
{-|
[All this] Works for
definition lists too.
> nested
> bird
> tracks
* Next list
with more of the indented list content.
Even more content on a new line.
1. Different type of list
(2) Deeper
>>> Here's an example in a list
example result
[b] Even deeper!
[c] No newline separation even in indented lists.
We can have any paragraph level element that we normally
can, like headers
=== Level 3 header
with some content…
* and even more lists inside
-}
j :: t
j = undefined
{-|
- list may start at arbitrary depth
- and consecutive items at that depth
belong to the same list
- of course we can still
* nest items like we are used to
- and then get back to initial list
-}
k :: t
k = undefined
|
