agda/agda2hs Issues
_/=_ generates incorrect `iEq…`
Closed 1Unary operators
Updated 3nix binary ignores interface files
Updated 1Postulates are not exported
Updated 2maps and set
Updated 3Cannot set RTS flags
Closed`snd $` compiles incorrectly
Closed 8Provide Sigma compiled to tuples
Closed 2Rewrite construct
Updated 1GADTs
Updated 1Views
UpdatedRelease agda2hs 1.2
Closed 4bytestrings
Updatedyaml-light issue on macos (arm?)
Closed 5Add support for deriving strategies
Updated 2