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:45 CEST