aboutsummaryrefslogtreecommitdiff
path: root/entries/braxtonh/types/test.ts
diff options
context:
space:
mode:
Diffstat (limited to 'entries/braxtonh/types/test.ts')
-rw-r--r--entries/braxtonh/types/test.ts19
1 files changed, 0 insertions, 19 deletions
diff --git a/entries/braxtonh/types/test.ts b/entries/braxtonh/types/test.ts
deleted file mode 100644
index 2ce83e7..0000000
--- a/entries/braxtonh/types/test.ts
+++ /dev/null
@@ -1,19 +0,0 @@
-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;