Blame · src/test/resources/edu/kit/formal/proofscriptparser/scripts/justarithmetic.txt · cef9b7844022d3d9d827a843a9d16789fd160840 · sarah.grebing / ProofScriptParser · GitLab

Find file Normal view History Permalink

justarithmetic.txt 55 Bytes

Newer Older

some bug fixes and relaxation in the grammar

Alexander Weigl committed Apr 28, 2017

script justArithm(x:int, y:int) {
  z : int := x + y;
}