[Agda] Undocumented (Recursive?) Positivity Checking

Nils Anders Danielsson nad at cse.gu.se
Fri Nov 1 14:28:25 CET 2019


On 01/11/2019 10.17, Yotam Dvir wrote:
> Thanks! Where can I find more information about these command-line
> options that don’t appear in the documentation (like -vtc)?

In the source code. They are mainly intended to be used by developers.

-- 
/NAD


More information about the Agda mailing list