blob: 524e0dafb6a1b52078a536179af25432bf758aec (
plain)
1
2
3
4
5
6
7
8
|
all:
ghc --make ./SemanticMain.hs -o ./Semantic
ghc --make ./ProofGraphMain.hs -o ./ProofGraph
ghc --make ./WriteProofMain.hs -o ./WriteProof
ghc --make ./Delete.hs -o ./Delete
ghc --make ./Concat.hs -o ./Concat
ghc --make ./ListThm.hs -o ./ListThm
ghc --make ./Syntactic.hs -o ./Syntactic
|
