(I do prefer an answer for KiCS2 over PAKCS, because I have the
understanding that KiCS2 is faster.)
On Thu, Oct 19, 2017 at 6:15 PM, James Koppel <jkoppel_at_mit.edu> wrote:
> How do time Curry programs? I'm looking through the KiCS2 documentation,
> and I can't find any way to get the current system time (ifI want to time
> it internally), nor accept a command-line argument (if I want to use the
> time command).
>
> I want to do this because, I have a new approach to implementing
> direct-style nondeterminism in imperative languages, and I'd like to
> compare to the "built-in" nondeterminism of Curry.
>
> Sincerely,
> James Koppel
> MIT CSAIL
>
_______________________________________________
curry mailing list
curry_at_lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/curry
Received on Fr Okt 20 2017 - 09:55:50 CEST