[Agda] strictness switch

Sergei Meshveliani mechvel at botik.ru
Fri Jan 20 11:35:31 CET 2017


Dear Agda developers,

Is it possible to switch on strictness for the Agda type checker? 
How much of strictness can be switched on?
It is interesting to see how does strictness effect on the type check
cost for a particular example. 

Thanks,

------
Sergei



More information about the Agda mailing list