blob: 5ab27ec0c8d307d17368062a4384120240a1ff31 (
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
|
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
* 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
|
