Домашние задания по математической логике

Чтобы запускать программы, минуя утомительную проверку Кабалом, написан скриптик run.sh

Использование:

Запустить программу с номером N = 1..5 на входном файле inputs/homework{N}/{файл}.in и записать вывод в файл outputs/homework{N}/{файл}.out:

./run.sh homework{N} {файл}

Проделать все вышеперечисленное для всех входных файлов в папке:

./run.sh homework{N}

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
TextProofs		TextProofs
inputs		inputs
outputs		outputs
.gitignore		.gitignore
Deduction.hs		Deduction.hs
ExprType.hs		ExprType.hs
Homework1.cabal		Homework1.cabal
Kripke.hs		Kripke.hs
LogicTemplates.hs		LogicTemplates.hs
LogicType.hs		LogicType.hs
Main.hs		Main.hs
Main2.hs		Main2.hs
Main3.hs		Main3.hs
Main4.hs		Main4.hs
Main5.hs		Main5.hs
Parser.hs		Parser.hs
Proof.hs		Proof.hs
ProofBuilder.hs		ProofBuilder.hs
README.md		README.md
Setup.hs		Setup.hs
Substitutions.hs		Substitutions.hs
Topology.hs		Topology.hs
Utils.hs		Utils.hs
run.sh		run.sh

flyingleafe/mathlogic-proof-checker