[Agda] Nat Fuel vs Sized Types (and other Sized Type questions)

[Nils Anders Danielsson]

On 2020-04-24 12:21, Andrew M. Pitts wrote:
> But our enthusiasm for sized types in Agda was severely dampened when
> we learned later that in current versions they allow one to prove that
> true equals false :-(

I don't think anyone is working on fixing this. I think it would be
great if someone could look into it.

-- 
/NAD