Automatically derivable JSON marshallers in the spirit of Haskell's aeson
Why do you think that https://github.com/dimforge/rapier is a good alternative to idris2-json
Automatically derivable JSON marshallers in the spirit of Haskell's aeson
Why do you think that https://github.com/dimforge/rapier is a good alternative to idris2-json