Artifact ef895863f1daeddc760c5a01ec719cb1ec1cfcde61bb94de810c4af94121ec1d:

• File psl-1983/tests/mini-known-to-comp.red — part of check-in [eb17ceb7f6] at 2020-04-21 19:40:01 on branch master — Add Reduce 3.0 to the historical section of the archive, and some more
  files relating to version sof PSL from the early 1980s. Thanks are due to
  Paul McJones and Nelson Beebe for these, as well as to all the original
  authors.

  git-svn-id: https://svn.code.sf.net/p/reduce-algebra/code/historical@5328 2bfe0521-f11c-4a00-b80e-6202646ff360 (user: arthurcnorman@users.sourceforge.net, size: 217) [annotate] [blame] [check-ins using] [more...]

% MINI-KNOWN-TO-COMP.RED

syslsp procedure CodeP x;
  CodeP x;

Procedure Pairp x;
 Pairp x;

Procedure Idp x;
 Idp x;

procedure Eq(x,y);
  eq(x,y);

procedure Null x;
 x eq 'NIL;

procedure Not x;
 x eq 'NIL;

End;