blob: ecce3d56b27f7942b28afd24ae0a213d71547db6 (
plain)
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
|
(.module:
lux
(lux [cli #+ program:]
[test])
(test ["_." lux]
(lux ["_." cli]
["_." host]
["_." io]
(time ["_." instant]
["_." duration]
["_." date])
(concurrency ["_." actor]
["_." atom]
["_." frp]
["_." promise]
["_." stm])
(control ["_." exception]
["_." interval]
["_." pipe]
["_." cont]
["_." reader]
["_." writer]
["_." state]
["_." parser])
(data ["_." bit]
["_." bool]
["_." error]
["_." ident]
["_." identity]
["_." maybe]
["_." number]
["_." product]
["_." sum]
["_." text]
["_." lazy]
["_." color]
(number ["_." ratio]
["_." complex])
(format ["_." json]
["_." xml])
(coll ["_." array]
["_." bits]
["_." dict]
["_." list]
["_." queue]
["_." set]
["_." stack]
["_." sequence]
["_." priority-queue]
["_." stream]
(tree ["tree_." rose]
["tree_." zipper])
(ordered ["ordered_." dict]
["ordered_." set]))
(text ["_." format]
["_." lexer]
["_." regex]))
["_." math]
(math ["_." random]
["_." modular]
["_." constructive]
(logic ["_." continuous]
["_." fuzzy]))
(macro ["_." code]
["_." syntax]
(poly ["poly_." eq]
["poly_." functor]))
(type ["_." implicit]
["_." object])
(lang ["lang/_." syntax]
["_." type]
(type ["_." check]))
(world ["_." blob]
["_." file]
(net ["_." tcp]
["_." udp]))
))
(lux (control [contract]
[concatenative]
[predicate])
(data [env]
[trace]
[store]
[tainted]
(format [context]
[html]
[css])
(coll (tree ["tree_." parser])))
[macro]
(macro (poly [json]))
(type [unit]
[refinement]
[quotient])
[world/env]
[world/console])
)
(program: args
(test.run))
|