zia 0.6.0

Interpreter Library for the Zia Programming Language
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
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

[badges.maintenance]
status = "actively-developed"

[dependencies.bimap]
version = "0.5"

[dependencies.dashmap]
version = "3.5.0"

[dependencies.lazy_static]
version = "1.2.0"

[dependencies.log]
features = ["max_level_debug", "release_max_level_warn"]
version = "0.4"

[dependencies.maplit]
version = "1.0.2"

[dependencies.rayon]
version = "1.3.0"

[dependencies.slotmap]
version = "1.0.6"

[dependencies.thiserror]
version = "1"

[dev-dependencies.assert_matches]
version = "1.5.0"

[dev-dependencies.pretty_assertions]
version = "1.4.0"

[dev-dependencies.proptest]
version = "0.9.1"

[lib]
crate-type = ["lib"]
name = "zia"
path = "src/lib.rs"

[package]
authors = ["Charles Johnson <charlesthomasjohnson0@gmail.com>"]
autobenches = false
autobins = false
autoexamples = false
autotests = false
build = false
categories = ["science", "parser-implementations", "internationalization", "compression"]
description = "Interpreter Library for the Zia Programming Language"
edition = "2021"
keywords = ["interpreter", "language-programming", "tacit", "symbolic"]
license = "GPL-3.0"
name = "zia"
readme = "README.md"
repository = "https://github.com/Charles-Johnson/zia_programming"
version = "0.6.0"

[target.'cfg(not(target_arch = "wasm32"))'.dependencies.simple_logger]
version = "1.15.0"

[[test]]
name = "definitions"
path = "tests/definitions.rs"

[[test]]
name = "definitions_and_reductions"
path = "tests/definitions_and_reductions.rs"

[[test]]
name = "exists_such_that"
path = "tests/exists_such_that.rs"

[[test]]
name = "implication"
path = "tests/implication.rs"

[[test]]
name = "lexer"
path = "tests/lexer.rs"

[[test]]
name = "precedence"
path = "tests/precedence.rs"

[[test]]
name = "program_recognition"
path = "tests/program_recognition.rs"

[[test]]
name = "reductions"
path = "tests/reductions.rs"

[[test]]
name = "syntax"
path = "tests/syntax.rs"

[[test]]
name = "variables"
path = "tests/variables.rs"