electroplates ++head and ++tail

This commit is contained in:
Joseph Bryan 2016-08-04 02:24:42 -04:00
parent ab73f364a2
commit 7d7d70655b

View File

@ -2264,8 +2264,8 @@
:: section 2cI, almost macros ::
::
++ same |*(* +<) :: identity
++ head |*(^ +<-) :: get head
++ tail |*(^ +<+) :: get head
++ head |*(^ ,:+<-) :: get head
++ tail |*(^ ,:+<+) :: get tail
++ fore |*(a/mold |*(b/mold (pair a b))) :: pair before
++ aftr |*(a/mold |*(b/mold (pair b a))) :: pair after
++ test |=(^ =(+<- +<+)) :: equality