egg_recursive 0.2.0

A recursive interface for egg: e-graphs good without S-expresion!
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

use egg_recursive::*;

#[derive(Debug, Clone, PartialEq, Eq, Hash, PartialOrd, Ord, Language)]
pub enum InvalidSelfLang {
    Int(i64),
    Add(i64, i64),
    Mul(i64, Box<Self>),
}

fn main() {
    println!("Hello, world!");
}