From 1faf205666b8c4e763b15563e5216d5505a382b5 Mon Sep 17 00:00:00 2001
From: mryouse
Date: Wed, 3 Aug 2022 00:09:59 +0000
Subject: remove user-defined :nil

---
 libs/sort.neb | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'libs')

diff --git a/libs/sort.neb b/libs/sort.neb
index c163730..5611d39 100644
--- a/libs/sort.neb
+++ b/libs/sort.neb
@@ -72,13 +72,6 @@
 
 (func insertion (lst :nil) lst)
 
-(func nil? :bool (candidate :any)
-    (and
-        (list? candidate)
-        (empty? candidate)))
-
-(type :nil :[:any] nil?)
-
 (func insertion-iter (lst)
     (def ret (list))
     (for-each lst
-- 
cgit v1.2.3