[mercury-users] Modes in "int" module.

[Peter Wang]

On 2007-07-10, Bartlomiej Szymczak <rhywek at gmail.com> wrote:
>  It's just that I prefer notation resembling predicate logic. And if I
>  use only predicates, without functions, I can use Prolog's top-level
>  to test my predicates.

The releases of the day have an alpha-quality Erlang backend now.  Once
it's properly documented, I think you could build a decent REPL on top
of Erlang without much trouble.

Peter
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------