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