~jack/aeson-dependent-sum

JSON encoding/decoding for dependent-sum

#1 Codecs for type key and value key

~jack filed ticket on aeson-dependent-sum todo

1 year, 2 months ago

eb3c849 Fix more nits, release 0.1.0.1

2 years ago

eb3c849 Fix more nits, release 0.1.0.1

2 years ago

879d6ee Fix documentation nits

2 years ago

4cffc5d Fix documentation nits

2 years ago

13bbe14 Final nits

2 years ago

13bbe14 Final nits

2 years ago

aa2ab0c README.md

2 years ago

cc7734c README.md

2 years ago
~jack/public-inbox

New mailing list added

2 years ago

6ff838c flake.lock: Update

2 years ago

a8ae860 Remove GHC 9.4.1 from CI

2 years ago

7be1a5d Fix .build.yml

2 years ago

c0644f9 Fix flake GHC versions; update base bound

2 years ago

124794d Fix flake

2 years ago
1 / 2