From e62b243c8b7aef0a67c64ed25a6a6b3a9d2be757 Mon Sep 17 00:00:00 2001
From: Henry <77937076+yung-turabian@users.noreply.github.com>
Date: Sat, 8 Feb 2025 17:56:55 -0500
Subject: [PATCH] unnamed

---
 prelude.links | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/prelude.links b/prelude.links
index 7d44c7e80..7d7fca74d 100644
--- a/prelude.links
+++ b/prelude.links
@@ -1,20 +1,3 @@
-
-# Work on natural number type P.O.C.
-# I liek this idea though
-typename Nat =
-  [|Succ: Nat
-   |Zero                    
-   |];
-
-
-# IDK what I'm doing here, simply experimenting with Links undocumented keywords.
-# I probably should stick to just implementing in lib.ml for now
-infixl 6 `plus`;
-sig `plus` : (a::Numeric, a) -> a
-op f `plus` g {
-  f + g
-}
-
 fun assert(ok, msg) {
   if (not(ok)) debug("assertion failed: " ^^ msg) else ()
 }