[mercury-users] Maths and contexts.

Julien Fischer juliensf at csse.unimelb.edu.au
Sat Apr 21 01:58:50 AEST 2012

On Sat, 21 Apr 2012, Mark Brown wrote:

>> With the interface given below, you'll find that it will complain when
>> you write those bits too ;-)
> It worked for me.

Yes, I overlooked the fact that you could use a type qualifier to fix
the type :-(

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list