Fixed gitignore

imdea-software · Feb 7, 2020 · 5cf7fd9 · 5cf7fd9
1 parent 4087dc1
commit 5cf7fd9
Show file tree

Hide file tree

Showing 214 changed files with 0 additions and 27,889 deletions.
diff --git a/...2.4.0.1/build/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/autogen/Paths_HLola.dump-hi b/...2.4.0.1/build/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/autogen/Paths_HLola.dump-hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/DecDyn.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/DecDyn.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/DecDyn.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/DecDyn.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/DecDyn.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/DecDyn.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/DecDyn.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/DecDyn.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Engine.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Engine.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Engine.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Engine.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Engine.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Engine.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Engine.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Engine.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Focus.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Focus.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Focus.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Focus.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Focus.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Focus.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Focus.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Engine/Focus.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Bool3Ex.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Bool3Ex.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Bool3Ex.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Bool3Ex.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Bool3Ex.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Bool3Ex.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Bool3Ex.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Bool3Ex.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Empirical.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Empirical.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Empirical.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Empirical.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Empirical.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Empirical.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Empirical.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Empirical.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Example.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Example.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Example.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Example.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Example.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Example.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Example.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Example.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/GeoEx.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/GeoEx.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/GeoEx.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/GeoEx.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/GeoEx.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/GeoEx.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/GeoEx.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/GeoEx.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Liquid.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Liquid.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Liquid.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Liquid.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Liquid.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Liquid.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Liquid.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/Liquid.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/MITLEx.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/MITLEx.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/MITLEx.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/MITLEx.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/MITLEx.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/MITLEx.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/MITLEx.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/MITLEx.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/NuSMVEx.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/NuSMVEx.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/NuSMVEx.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/NuSMVEx.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/NuSMVEx.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/NuSMVEx.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/NuSMVEx.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/NuSMVEx.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/PinescriptEx.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/PinescriptEx.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/PinescriptEx.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/PinescriptEx.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/PinescriptEx.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/PinescriptEx.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/PinescriptEx.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Example/PinescriptEx.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola
diff --git a/...ola-tmp/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/autogen/Paths_HLola.dump-hi b/...ola-tmp/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/autogen/Paths_HLola.dump-hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/Main.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/Main.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/Main.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/Main.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/Paths_HLola.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/Paths_HLola.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/Paths_HLola.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/Paths_HLola.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/QuickCheck.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/QuickCheck.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/QuickCheck.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/QuickCheck.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/app/Main.dump-hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/app/Main.dump-hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/app/QuickCheck.dump-hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/HLola-tmp/app/QuickCheck.dump-hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/autogen/Paths_HLola.hs b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/autogen/Paths_HLola.hs
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/autogen/cabal_macros.h b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/HLola/autogen/cabal_macros.h
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/InFromFile.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/InFromFile.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/InFromFile.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/InFromFile.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/InFromFile.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/InFromFile.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/InFromFile.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/InFromFile.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/LTL.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/LTL.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/LTL.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/LTL.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/LTL.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/LTL.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/LTL.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/LTL.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/MITL.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/MITL.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/MITL.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/MITL.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/MITL.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/MITL.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/MITL.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/MITL.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Pinescript.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Pinescript.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Pinescript.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Pinescript.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Pinescript.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Pinescript.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Pinescript.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Pinescript.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Utils.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Utils.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Utils.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Utils.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Utils.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Utils.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Utils.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lib/Utils.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lola.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lola.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lola.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lola.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lola.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lola.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lola.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Lola.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Paths_HLola.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Paths_HLola.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Paths_HLola.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Paths_HLola.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Paths_HLola.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Paths_HLola.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Paths_HLola.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Paths_HLola.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/StaticAnalysis.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/StaticAnalysis.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/StaticAnalysis.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/StaticAnalysis.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/StaticAnalysis.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/StaticAnalysis.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/StaticAnalysis.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/StaticAnalysis.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans3.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans3.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans3.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans3.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans3.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans3.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans3.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Booleans3.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/HLPrelude.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/HLPrelude.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/HLPrelude.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/HLPrelude.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/HLPrelude.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/HLPrelude.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/HLPrelude.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/HLPrelude.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Num.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Num.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Num.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Num.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Num.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Num.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Num.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Num.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Ord.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Ord.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Ord.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Ord.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Ord.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Ord.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Ord.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Syntax/Ord.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Booleans3.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Booleans3.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Booleans3.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Booleans3.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Booleans3.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Booleans3.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Booleans3.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Booleans3.o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Geometry.dyn_hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Geometry.dyn_hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Geometry.dyn_o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Geometry.dyn_o
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Geometry.hi b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Geometry.hi
diff --git a/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Geometry.o b/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Theories/Geometry.o