From 77ffde450e92ffe6527c35ffc2383b17d4c04f68 Mon Sep 17 00:00:00 2001
From: braxtonhall
Date: Sun, 23 Oct 2022 12:27:49 -0700
Subject: Rename directory to use GitHub ID

---
 entries/braxtonhall/types/test.ts | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 entries/braxtonhall/types/test.ts

(limited to 'entries/braxtonhall/types/test.ts')

diff --git a/entries/braxtonhall/types/test.ts b/entries/braxtonhall/types/test.ts
new file mode 100644
index 0000000..2ce83e7
--- /dev/null
+++ b/entries/braxtonhall/types/test.ts
@@ -0,0 +1,19 @@
+import {Zero, Succ, Fib} from "./index";
+
+const zero: Zero = "😰";
+const one: Succ<typeof zero> = {prev: zero};
+const two: Succ<typeof one> = {prev: one};
+const three: Succ<typeof two> = {prev: two};
+const four: Succ<typeof three> = {prev: three};
+const five: Succ<typeof four> = {prev: four};
+const six: Succ<typeof five> = {prev: five};
+const seven: Succ<typeof six> = {prev: six};
+const eight: Succ<typeof seven> = {prev: seven};
+
+const fibZero: Fib<typeof zero> = zero;
+const fibOne: Fib<typeof one> = one;
+const fibTwo: Fib<typeof two> = one;
+const fibThree: Fib<typeof three> = two;
+const fibFour: Fib<typeof four> = three;
+const fibFive: Fib<typeof five> = five;
+const fibSix: Fib<typeof six> = eight;
-- 
cgit v1.2.3-70-g09d2