Commits

Patrick Bahr committed 5c0df21

updated the cabal file to reflect the change in the definition of the examples directory

Comments (0)

Files changed (1)

   benchmark/Functions/Standard/Inference.hs
   benchmark/Functions/Standard.hs
   -- example files
-  examples/Eval.hs
-  examples/EvalM.hs
-  examples/DesugarEval.hs
-  examples/DesugarPos.hs
-  examples/Automata.hs,
-  examples/Multi/Eval.hs
-  examples/Multi/EvalI.hs
-  examples/Multi/EvalM.hs
-  examples/Multi/DesugarEval.hs
-  examples/Multi/DesugarPos.hs
-  examples/Param/Eval.hs
-  examples/Param/EvalM.hs
-  examples/Param/EvalAlgM.hs
-  examples/Param/DesugarEval.hs
-  examples/Param/DesugarPos.hs
-  examples/Param/Parsing.hs
-  examples/MultiParam/Eval.hs
-  examples/MultiParam/EvalI.hs
-  examples/MultiParam/EvalM.hs
-  examples/MultiParam/EvalAlgM.hs
-  examples/MultiParam/DesugarEval.hs
-  examples/MultiParam/DesugarPos.hs
-  examples/MultiParam/FOL.hs
+  examples/Examples/GTermHom.hs
+  examples/Examples/Eval.hs
+  examples/Examples/EvalM.hs
+  examples/Examples/DesugarEval.hs
+  examples/Examples/DesugarPos.hs
+  examples/Examples/Automata.hs,
+  examples/Examples/Multi/Eval.hs
+  examples/Examples/Multi/EvalI.hs
+  examples/Examples/Multi/EvalM.hs
+  examples/Examples/Multi/DesugarEval.hs
+  examples/Examples/Multi/DesugarPos.hs
+  examples/Examples/Param/Eval.hs
+  examples/Examples/Param/EvalM.hs
+  examples/Examples/Param/EvalAlgM.hs
+  examples/Examples/Param/DesugarEval.hs
+  examples/Examples/Param/DesugarPos.hs
+  examples/Examples/Param/Parsing.hs
+  examples/Examples/MultiParam/Eval.hs
+  examples/Examples/MultiParam/EvalI.hs
+  examples/Examples/MultiParam/EvalM.hs
+  examples/Examples/MultiParam/EvalAlgM.hs
+  examples/Examples/MultiParam/DesugarEval.hs
+  examples/Examples/MultiParam/DesugarPos.hs
+  examples/Examples/MultiParam/FOL.hs
 
 flag test
   description: Build test executable.
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.