unnamed

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 ()
 }