Unified `Iota` and `MakeList` using nested structure generator

* `detail::generate_nested_structure` offers a higher order nested structure constructor for procedural list generation
* renamed `Fold` implementation details

1 files changed, 9 insertions, 11 deletions

diff --git a/README.md b/README.md
index 50d6dff..ba07515 100644
--- a/README.md
+++ b/README.md
@@ -6,17 +6,15 @@ This library is a expanded reimplementation of my previous attempt at this probl
 
 ## Example
 
-```cpp
-// λ (length (filter odd? (list 1 2 3)))
-// 2
-
-const std::size_t count = tav::Length<
-	tav::Filter<
-		tav::Odd,
-		tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>::type
-	>::type
->::type::value;
-```
+	// λ (length (filter odd? (list 1 2 3)))
+	// 2
+	
+	const std::size_t count = tav::Length<
+		tav::Filter<
+			tav::Odd,
+			tav::List<tav::Int<1>, tav::Int<2>, tav::Int<3>>
+		>
+	>::value;
 
 ## Current features