Giters

agda / agda2hs

Compiling Agda code to readable Haskell

Home Page:https://agda.github.io/agda2hs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Cannot set RTS flags

omelkonian opened this issue · comments

commented

Currently it is not possible to set RTS flags when using agda2hs, as we get the error:

agda2hs: Most RTS options are disabled. Link with -rtsopts to enable them.