simple/
simple.rs

1use polenta::Polenta;
2type F = lambdaworks_math::field::fields::u64_goldilocks_field::Goldilocks64Field;
3
4fn main() -> miette::Result<()> {
5    let input = r#"
6        let P(x) = 3 * x + 1;
7        let Q(x) = x / 2;
8        let z = Q@P@(5);
9        assert z == 8;
10    "#;
11
12    Polenta::<F>::new().interpret(input)?;
13
14    Ok(())
15}