[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 


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

More information about the Agda mailing list