X-Git-Url: http://git.megacz.com/?p=coinductive-monad.git;a=blobdiff_plain;f=Computation%2FMonad.v;fp=Recursion%2FMonad.v;h=082a3dd2d8b0710184a41dbbb64cb105e0bc7faa;hp=082a3dd2d8b0710184a41dbbb64cb105e0bc7faa;hb=ad8905d391e4e2015b6525a81a3b5e1ad607439e;hpb=7439e43c33a10817e19e7a5f26435d2097dc262d

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