From c19f6d42638fb97b3ea93e090ad6af360159001e Mon Sep 17 00:00:00 2001 From: Crista Lopes Date: Mon, 14 Oct 2013 08:32:22 -0700 Subject: [PATCH] Added README.md for style #07 --- 07-infinite-mirror/README.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 07-infinite-mirror/README.md diff --git a/07-infinite-mirror/README.md b/07-infinite-mirror/README.md new file mode 100644 index 0000000..5f61c16 --- /dev/null +++ b/07-infinite-mirror/README.md @@ -0,0 +1,15 @@ +Style #7 +============================== + +Constraints: + +- All, or a significant part, of the problem is modelled by + induction. That is, specify the base case (n_0) and then the n+1 + rule + +Possible names: + +- Infinite mirror +- Inductive +- Recursive +