litelite 0.2.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.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5b2dbaffe4b6e74b2dc63e5c21a146a59d78867e8af48b7bd6bf9f65c8161bd3"

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

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

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

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

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

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

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