litelite 0.1.0

A kit for purpose-sized languages: buy total verification with smallness. Diagnostics, lexing, parsing, fuel, and capability tables — the invariants paid once.
Documentation 
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

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "caplite"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "876a2d898dc7c8172b1c748b8981675e17afbad8e501baa8ad478bbc8c3b787d"

[[package]]
name = "diaglite"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5879b6b1d28d14b3c446e949b5d99721879bd35da2d5b01d4c757fce942a5621"

[[package]]
name = "evmlite"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8818512ebbbf1f0a40771736ce7823c396e39953b1188844bf1f5cdfd8b184ae"

[[package]]
name = "fuellite"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "825099a1a7d254f26d07c3eb8e460ce8804282c7b16cbe231e3bc7f7f1e6203c"

[[package]]
name = "lexlite"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e9df9c9e6fde5c883ee3dc9e92192610e7f1216c7506f1c035eb8bfa97eaa31b"
dependencies = [
 "diaglite",
]

[[package]]
name = "litelite"
version = "0.1.0"
dependencies = [
 "caplite",
 "diaglite",
 "evmlite",
 "fuellite",
 "lexlite",
 "modlite",
 "parselite",
]

[[package]]
name = "modlite"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "cc1681940cc6e4e9f65b58bfd670f6bb1b50bca534564755150918f759a3730e"

[[package]]
name = "parselite"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0afe237b639a648a4a319c765919f43edab9dc5b9babf3a00d4ffc476dcfdb4c"
dependencies = [
 "diaglite",
]