naive: remove unused arms

This commit is contained in:
Philip Monk 2021-10-05 23:58:59 -05:00
parent 7b528e823f
commit 163ca690ce
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
2 changed files with 1 additions and 22 deletions

View File

@ -456,7 +456,7 @@
=* one &5.words
=* two &3.words
=* tri &1.words
=/ domains (turn ~[one two tri] |=(a=@ (swp 3 a)))
=/ domains ~[(swp 3 one) (swp 3 two) (swp 3 tri)]
:- [%dns domains]~
state(dns domains)
::

View File

@ -30,10 +30,6 @@
::
++ jug |$ [key value] (map key (set value))
::
:: Biblical
::
++ ruth |=([a=* b=*] ?>(?=(@ b) b))
::
:: Bits
::
++ dec :: decrement
@ -311,23 +307,6 @@
+<-(+ $(+<- +<->))
--
::
++ turn :: transform
~/ %turn
|* [a=(list) b=$-(* *)]
=> .(a (homo a))
^- (list _?>(?=(^ a) (b i.a)))
|-
?~ a ~
[i=(b i.a) t=$(a t.a)]
::
++ levy :: all of
~/ %levy
|* [a=(list) b=$-(* ?)]
|- ^- ?
?~ a &
?. (b i.a) |
$(a t.a)
::
++ reap :: replicate
~/ %reap
|* [a=@ b=*]