mathic 0.2.0

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

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

    let e: expr<i32> = x * 2;

    let r1: i32 = eval(e, x, 5);
    let r2: i32 = eval(e, x, 10);

    return r1 + r2;
}