-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathlipsum.satyg
113 lines (69 loc) · 2.21 KB
/
lipsum.satyg
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
%% version 0.2.0
%% (C) 2020 Naoki Kaneko a.k.a. "puripuri2100"
%% Repository: https://github.com/puripuri2100/SATySFi-lipsum
%% Issue: https://github.com/puripuri2100/SATySFi-lipsum/issues
%% Mail: puripuri2100[at]gmail.com
@import: lipsumtext
@import: lipsumjatext
module Lipsum :sig
val quick-brown-fox-string : string
val quick-brown-fox-text : inline-text
direct \quick-brown-fox : [] inline-cmd
val lipsum-string : int -> string
val lipsum-text : int -> inline-text
direct \lipsum : [int] inline-cmd
val iroha-string : string
val iroha-text : inline-text
direct \iroha : [] inline-cmd
val jugemu-string : string
val jugemu-text : inline-text
direct \jugemu : [] inline-cmd
val jugemuP-string : string
val jugemuP-text : inline-text
direct \jugemuP : [] inline-cmd
val wagahai-string : int -> string
val wagahai-text : int -> inline-text
direct \wagahai : [int] inline-cmd
val preamble-string : int -> string
val preamble-text : int -> inline-text
direct \preamble : [int] inline-cmd
end = struct
let quick-brown-fox-string =
LipsumText.quick-brown-fox-text
let quick-brown-fox-text =
embed-string quick-brown-fox-string
let-inline \quick-brown-fox = quick-brown-fox-text
let lipsum-string n =
LipsumText.get-lipsum-text n
let lipsum-text n =
let s = lipsum-string n in
embed-string s
let-inline \lipsum n = lipsum-text n
let iroha-string =
LipsumJaText.iroha-text
let iroha-text =
embed-string iroha-string
let-inline \iroha = iroha-text
let jugemu-string =
LipsumJaText.jugemu-text
let jugemu-text =
embed-string jugemu-string
let-inline \jugemu = jugemu-text
let jugemuP-string =
LipsumJaText.jugemuP-text
let jugemuP-text =
embed-string jugemuP-string
let-inline \jugemuP = jugemuP-text
let wagahai-string n =
LipsumJaText.get-text LipsumJaText.wagahai-text-list n
let wagahai-text n =
let s = wagahai-string n in
embed-string s
let-inline \wagahai n = wagahai-text n
let preamble-string n =
LipsumJaText.get-text LipsumJaText.preamble-text-list n
let preamble-text n =
let s = preamble-string n in
embed-string s
let-inline \preamble n = preamble-text n
end