stefan-hoeck/idris2-json
Automatically derivable JSON marshallers in the spirit of Haskell's aeson
IdrisBSD-3-Clause
Issues
- 0
Add the following implementations?
#47 opened by emdash - 1
Fractional part without IEEE 754
#35 opened by ysangkok - 4
Encoding record with 1 field doesn't work
#22 opened by raders - 9
How to decode a Maybe Object?
#16 opened by Matthew-Mosior