Automatically derivable JSON marshallers in the spirit of Haskell's aeson
Why do you think that https://github.com/sparckles/Robyn 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/sparckles/Robyn is a good alternative to idris2-json