rename Recursion

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

diff --git a/Recursion/Monad.v b/Computation/Monad.v
similarity index 100%
rename from Recursion/Monad.v
rename to Computation/Monad.v