Added README.md for style #07

This commit is contained in:
Crista Lopes
2013-10-14 08:32:22 -07:00
parent 46536c18e5
commit c19f6d4263

View File

@@ -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