[Agda] agda halting problem

Ondrej Rypacek ondrej.rypacek at gmail.com
Thu Jul 5 18:02:59 CEST 2012


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


More information about the Agda mailing list