From 5395287cc2f758d94bec8befe8956ba2dcc3940c Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 15 Dec 2016 14:28:31 +1100 Subject: Old uncommitted changes --- test/betaconv.art | 42 +++++++++++++++++++++--------------------- 1 file changed, 21 insertions(+), 21 deletions(-) (limited to 'test/betaconv.art') diff --git a/test/betaconv.art b/test/betaconv.art index f0d051c..a4166bd 100644 --- a/test/betaconv.art +++ b/test/betaconv.art @@ -1,21 +1,21 @@ -"x" -"bool" -typeOp -nil -opType -1 -def -var -"c" -const -1 -ref -constTerm -absTerm -"a" -const -1 -remove -constTerm -appTerm -betaConv +"x" +"bool" +typeOp +nil +opType +1 +def +var +"c" +const +1 +ref +constTerm +absTerm +"a" +const +1 +remove +constTerm +appTerm +betaConv -- cgit