chakravala / Reduce.jl