On 2021-10-22 21:12, Nils Anders Danielsson wrote: > 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". Thank you. I see now. (I do not know, may be this needed to be somewhat a question to Agda cafe (Zulip ?) ) -- SM