feat(machine): finish return compute and apply/force eval (#43)
Signed-off-by: microproofs <[email protected]>
Signed-off-by: microproofs <[email protected]>
Signed-off-by: microproofs <[email protected]>
Signed-off-by: microproofs <[email protected]>
Signed-off-by: microproofs <[email protected]>
* feat(syn): implement new parser and lexer Signed-off-by: rvcas <[email protected]> * feat: Tests pass parser tests Signed-off-by: microproofs <[email protected]> * chore: update Makefile Signed-off-by: rvcas <[email protected]> --------- Signed-off-by: rvcas <[email protected]> Signed-off-by: microproofs <[email protected]> Co-authored-by: microproofs <[email protected]>
Signed-off-by: rvcas <[email protected]>
Signed-off-by: microproofs <[email protected]>
Signed-off-by: rvcas <[email protected]> Co-authored-by: Chris Gianelloni <[email protected]>
Signed-off-by: rvcas <[email protected]>
Signed-off-by: rvcas <[email protected]>
Signed-off-by: rvcas <[email protected]>
Signed-off-by: rvcas <[email protected]>