egglog 2.0.0

egglog is a language that combines the benefits of equality saturation and datalog. It can be used for analysis, optimization, and synthesis of programs. It is the successor to the popular rust library egg.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
VAL	str
VAL	num
VAL	true
VAL	false
VAL	null
ELM	str
ELM	num
ELM	true
ELM	false
ELM	null
H0	{
H1	}
H3	[
H4	]
H9	,
H10	str
H11	: