summary of recent changes

Tril tril@tunes.org
Sat, 31 May 2003 00:26:35 -0700


--xgyAXRrhYN0wYx8y
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

I've been hacking on max the last few days..  Here's a summary:

I used CLOS to create classes of spaces and functions, to allow
non-finite spaces and functions.  I made the space of sets, the first
non-finite space.  Then I changed the format of an address to use
regular symbols and removed the "type" field.  Then I fixed
function-quotient (it returns one of the new sets), which involved
creating addr-equal (testing equality of addresses).

Read the CVS log and the code for more details. I'd be glad to answer
any questions!  (Not that you guys will actually post anything..)

--=20
Tril 0. Byte <tril@tunes.org> http://tril.tunes.org/=20
PGP key fingerprint: DADB ED32 6E54 80D0 7E69  7549 C3A3 446F CAA4 66C0
This message is placed in the public domain.

--xgyAXRrhYN0wYx8y
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.2 (GNU/Linux)

iD8DBQE+2Fkrw6NEb8qkZsARAhunAKCYZQLu++qaA685JeHPgeRfKxouPgCgxHMN
w1Ju+iUzjcwPfjacp1eg48k=
=LRCQ
-----END PGP SIGNATURE-----

--xgyAXRrhYN0wYx8y--