rename Recursion

[coinductive-monad.git] / Computation / Eval.v

diff --git a/Recursion/Eval.v b/Computation/Eval.v
similarity index 89%
rename from Recursion/Eval.v
rename to Computation/Eval.v
index 6c9b016..07d79e4 100644 (file)
--- a/Recursion/Eval.v
+++ b/Computation/Eval.v
@@ -1,5 +1,5 @@
-Require Export Recursion.Monad.
-Require Export Recursion.Termination.
+Require Export Computation.Monad.
+Require Export Computation.Termination.

 
 (* evaluate up to [n] computation steps *)
 Fixpoint bounded_eval (A:Set) (n:nat) (c:#A) {struct n} : option A :=
 
 (* evaluate up to [n] computation steps *)
 Fixpoint bounded_eval (A:Set) (n:nat) (c:#A) {struct n} : option A :=