[Agda] -rtsopts

Nils Anders Danielsson nad at cse.gu.se
Fri Oct 22 20:12:15 CEST 2021

Previous message (by thread): [Agda] -rtsopts
Next message (by thread): [Agda] -rtsopts
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2021-10-21 22:05, mechvel at scico.botik.ru wrote:
> Can you, please, explain of how to use this -rtsopts (in Agda 2.6.2) ?

I guess you could use "--ghc-flag=-rtsopts".

-- 
/NAD

Previous message (by thread): [Agda] -rtsopts
Next message (by thread): [Agda] -rtsopts
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list