mathic 0.2.0

A compiler with builtin support of symbolic operations, built with LLVM/MLIR
1
2
3
4
5
6
7
8

df main() i32 {
    sym x: expr<i32>;

    let e: expr<i32> = x * x + 2 * x + 1;
    let r: i32 = eval(e, x, 10);

    return r;
}