├── .ghci ├── .gitignore ├── Autotests.hs ├── Inf2d1.hs ├── README.md ├── Tester.hs ├── Tests.hs ├── lambda.txt ├── lambdaC.txt ├── runTests.bat ├── runTests.sh └── wrong.txt /.ghci: -------------------------------------------------------------------------------- 1 | -- Add automatic import for parent directory 2 | :set -i./:../ -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lollobaldo/Inf2D-cw1--autotester/HEAD/.gitignore -------------------------------------------------------------------------------- /Autotests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lollobaldo/Inf2D-cw1--autotester/HEAD/Autotests.hs -------------------------------------------------------------------------------- /Inf2d1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lollobaldo/Inf2D-cw1--autotester/HEAD/Inf2d1.hs -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lollobaldo/Inf2D-cw1--autotester/HEAD/README.md -------------------------------------------------------------------------------- /Tester.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lollobaldo/Inf2D-cw1--autotester/HEAD/Tester.hs -------------------------------------------------------------------------------- /Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lollobaldo/Inf2D-cw1--autotester/HEAD/Tests.hs -------------------------------------------------------------------------------- /lambda.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lollobaldo/Inf2D-cw1--autotester/HEAD/lambda.txt -------------------------------------------------------------------------------- /lambdaC.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lollobaldo/Inf2D-cw1--autotester/HEAD/lambdaC.txt -------------------------------------------------------------------------------- /runTests.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lollobaldo/Inf2D-cw1--autotester/HEAD/runTests.bat -------------------------------------------------------------------------------- /runTests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lollobaldo/Inf2D-cw1--autotester/HEAD/runTests.sh -------------------------------------------------------------------------------- /wrong.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lollobaldo/Inf2D-cw1--autotester/HEAD/wrong.txt --------------------------------------------------------------------------------