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