[Agda] delaying computation to run time

Nils Anders Danielsson nad at cse.gu.se
Thu Jan 16 12:49:01 CET 2020


On 2020-01-15 19:45, mechvel at scico.botik.ru wrote:
> Does CAF abbreviate a Constant Applicative Form ?

Yes. Perhaps I should have used the term "closed top-level expression"
instead.

-- 
/NAD


More information about the Agda mailing list