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/braxtonh/types/test.ts | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 entries/braxtonh/types/test.ts (limited to 'entries/braxtonh/types/test.ts') 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 = {prev: zero}; -const two: Succ = {prev: one}; -const three: Succ = {prev: two}; -const four: Succ = {prev: three}; -const five: Succ = {prev: four}; -const six: Succ = {prev: five}; -const seven: Succ = {prev: six}; -const eight: Succ = {prev: seven}; - -const fibZero: Fib = zero; -const fibOne: Fib = one; -const fibTwo: Fib = one; -const fibThree: Fib = two; -const fibFour: Fib = three; -const fibFive: Fib = five; -const fibSix: Fib = eight; -- cgit v1.2.3-70-g09d2