Massive renaming!

This commit is contained in:
Crista Lopes
2019-08-12 14:38:16 -07:00
parent e6c1238a56
commit 61d5f74ad9
90 changed files with 0 additions and 0 deletions

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