From 6f31fc62f9a6ee77d71c5f5fe352e027f495ae9a Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Fri, 15 Dec 2023 22:06:30 +0530
Subject: feat: equation proofs (substitution + transitivity)

---
 src/nat.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/nat.ts')

diff --git a/src/nat.ts b/src/nat.ts
index 5c52bdf..0017489 100644
--- a/src/nat.ts
+++ b/src/nat.ts
@@ -1,4 +1,4 @@
-import { Op } from "./util";
+import { Op } from './util';
 
 export type Add<A extends Op, B extends Op> = { op: '+'; a: A; b: B };
 export type Multiply<A extends Op, B extends Op> = { op: '*'; a: A; b: B };
-- 
cgit v1.3.1