Common Lisp Package: KANREN-TRS-TEST

README:

FUNCTION

Private

Undocumented

+O (N M K)

-O (N M K)

==-CHECK (V W)

>1O (N)

ADDERO (D N M R)

ANYO (GOAL)

APPENDO (LIST REST OUT)

APPENDO-0 (LIST REST OUT)

APPENDO-1 (LIST REST OUT)

APPENDO-2 (LIST REST OUT)

BIT-ANDO (X Y R)

BIT-NANDO (X Y R)

BIT-XORO (X Y R)

BUILD-NUM (N)

BUMPO (N X)

CARO (CONS CAR)

CDRO (CONS CDR)

CONSO (CAR CDR CONS)

ENUMERATEO (OP R N)

EQ-CARO (LIST X)

EQO (X Y)

EXT-S-CHECK (RHS LHS SUBST)

FAILED-TESTS

FIRST-VALUE (LIST)

FLATTENO (LIST? OUT)

FLATTENREVO (LIST? OUT)

FULL-ADDERO (B X Y R C)

GEN&TESTO (OP I J K)

GEN-ADDERO (D N M R)

GEN-ADDERO-1 (D N M R)

HALF-ADDERO (X Y R C)

LIST-IDENTITY (LIST)

LISTO (LIST)

LISTOFO (PREDO LIST)

LOLO (LIST)

LOTO (LIST)

LOTO-1 (LIST)

MEMBERO (X LIST)

MEMBERREVO (X LIST)

MEMO-0 (X LIST OUT)

MEMO-1 (X LIST OUT)

NOT-PASTAO (X)

NULLO (OBJECT)

ONCEO (GOAL)

PAIRO (PAIR?)

PMEMBERO-0 (X LIST)

PMEMBERO-1 (X LIST)

PMEMBERO-2 (X LIST)

PMEMBERO-3 (X LIST)

POSO (N)

REMEMBERO (X LIST OUT)

REVERSE-LIST (LIST)

RUN-TESTS (TESTS)

SURPRISEO (S)

SWAPPENDO (LIST REST OUT)

TEACUPO (X)

TWINSO (S)

TWINSO-0 (S)

TWINSO-1 (S)

UNIFY-CHECK (V W SUBST)

UNWRAPO-0 (X OUT)

UNWRAPO-1 (X OUT)

MACRO

Private

Undocumented

TESTS (&REST TESTS)

VARIABLE

Private

Undocumented

%%+ALWAYS+

%%+NEVER+

%%+SAL+

*TESTS*