Programming Languages Research Group: Git - IRC.git/blob - Robust/src/Tests/output/IntegerTest.output.goal

projects / IRC.git / blob

101e0aec203a10a03e2900b8af888703c327c0cb

[IRC.git] / Robust / src / Tests / output / IntegerTest.output.goal

1 312

2 -34

Irvine Research Compiler