QuantumBFS / ZXCalculus.jl

An implementation of ZX-calculus in Julia
http://yaoquantum.org/ZXCalculus.jl/dev/
MIT License
48 stars 7 forks source link

Simple symbolic expression with pattern match #96

Open ChenZhao44 opened 1 year ago

ChenZhao44 commented 1 year ago
@adt public struct SimpleExpr
    Literal(::Number)
    Variable(::Symbol, ::Type)
    Minus(::SimpleExpr)
    Add(::Vector{SimpleExpr})
    PiImExp(::SimpleExpr)
end