Two beginner questions

[Urban Hafner]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Peter Van Roy wrote:
| The problem is the '<=' in N<=D.
| The less-than-or-equal is written '=<' in Oz
| (see the table on page 55 of the Oz book
| or the index on page 863).  You have to
| write (N=<D) and then everything works!

Thanks! That did the trick!

Urban
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.0 (Darwin)
Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org

iD8DBQFB8Ve4ggNuVCIrEyURAkLHAJ9ip5nqLVZYUEYf2PQ2POLD+3cWdACgjqn8
Ei5yD+fZaOtCZC9c8cKSMJs=
=qdkH
-----END PGP SIGNATURE-----