feat: tuples baby

1 files changed, 18 insertions, 5 deletions

diff --git a/examples/hello.sfinae b/examples/hello.sfinae
index 39f3a62..0154af8 100644
--- a/examples/hello.sfinae
+++ b/examples/hello.sfinae
@@ -1,8 +1,21 @@
-// prints 5
+// hello, world
+// there are no strings. a ::tuple says what its elements say, glued together,
+// and each element is a character type, its own distance from '\0'
+
 ::emit<
-    ::conditional_t<
-        ::true_type::value,
-        ::decltype(::difference<'F', 'A'>),
-        ::void
+    ::tuple<
+        ::integral_constant<::char, ::difference<'H', '\0'>>,
+        ::integral_constant<::char, ::difference<'e', '\0'>>,
+        ::integral_constant<::char, ::difference<'l', '\0'>>,
+        ::integral_constant<::char, ::difference<'l', '\0'>>,
+        ::integral_constant<::char, ::difference<'o', '\0'>>,
+        ::integral_constant<::char, ::difference<',', '\0'>>,
+        ::integral_constant<::char, ::difference<' ', '\0'>>,
+        ::integral_constant<::char, ::difference<'w', '\0'>>,
+        ::integral_constant<::char, ::difference<'o', '\0'>>,
+        ::integral_constant<::char, ::difference<'r', '\0'>>,
+        ::integral_constant<::char, ::difference<'l', '\0'>>,
+        ::integral_constant<::char, ::difference<'d', '\0'>>,
+        ::integral_constant<::char, ::difference<'!', '\0'>>
     >
 >::commit;