Does anyone know why we set a suggested heap size in the makefile? And why it seems to set the maximum heap size as well? Shouldn't we just not set that?
I think we should just not set it - the library fails with the current release candidate for agda 2.6.4.1 (with a heap-exhausted error) and checks if the option for the heap size is just removed.
Does anyone know why we set a suggested heap size in the makefile? And why it seems to set the maximum heap size as well? Shouldn't we just not set that?