[Agda] The proving cycle.

[Nils Anders Danielsson]

On 2015-08-13 23:52, effectfully wrote:
> Here are some proposals:

> 2) Refine doesn't change formatting.

I usually use Give, which doesn't change formatting.

-- 
/NAD