From b0abdd4619c8cf0528a1bbd3830539ceb79061a0 Mon Sep 17 00:00:00 2001
From: CismonX <admin@cismon.net>
Date: Thu, 10 Feb 2022 02:43:47 +0800
Subject: [PATCH] fix

---
 README.md      |  4 ++--
 src/runtime.ts | 10 +++++-----
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/README.md b/README.md
index 3e0d7fa..eab8787 100644
--- a/README.md
+++ b/README.md
@@ -64,8 +64,8 @@ in `node_modules`, until the error no longer applies. Changing
 
 [MIT License]: https://img.shields.io/badge/license-MIT-blue.svg
 [Unlambda]: http://www.madore.org/~david/programs/unlambda/
-[CPS]: https://en.wikipedia.org/wiki/Continuation-passing_style/
-[Tail Call]: https://en.wikipedia.org/wiki/Tail_call/
+[CPS]: https://en.wikipedia.org/wiki/Continuation-passing_style
+[Tail Call]: https://en.wikipedia.org/wiki/Tail_call
 [TSC checker]:
 https://github.com/microsoft/TypeScript/blob/v4.1.2/src/compiler/checker.ts
 [PR 29602]: https://github.com/microsoft/TypeScript/pull/29602
diff --git a/src/runtime.ts b/src/runtime.ts
index bcdb981..f978c08 100644
--- a/src/runtime.ts
+++ b/src/runtime.ts
@@ -97,8 +97,8 @@ type Apply<L /* extends Func */, R /* extends Func */, Cont, IO> =
  * Evalutate an expression.
  */
 export type Eval<E /* extends Expression */, Cont, IO> =
-      // Expression is a function, apply the continuation.
-      E extends Func ? Continue<Cont, E, IO>
-      // Expression is an application, evaluate the left part (the "operator").
-    : E extends [infer L, infer R] ? Eval<L, ['a1', R, Cont], IO>
-    : never;
+    // Expression is a function, apply the continuation.
+    E extends Func ? Continue<Cont, E, IO>
+    // Expression is an application, evaluate the left part (the "operator").
+  : E extends [infer L, infer R] ? Eval<L, ['a1', R, Cont], IO>
+  : never;