[Agda] agda halting problem
Andreas Abel
andreas.abel at ifi.lmu.de
Thu Jul 5 19:26:20 CEST 2012
Sorry, we do not have runtime-bounds for Agda. ;-)
You could try to profile Agda on your example and see where the runtime
goes...
Cheers,
Andreas
On 05.07.2012 18:02, Ondrej Rypacek wrote:
> Hi all
>
> Is there a way to tell if Agda is going to halt on my program? It's been crunching for more than 24 hours now, on a more or less constant memory use.
>
> Is there a way to tell if there's a point in keeping it alive?
>
> Cheers,
> Ondrej_______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
--
Andreas Abel <>< Du bist der geliebte Mensch.
Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY
andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list