~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

4 months ago

eb3c849 Fix more nits, release 0.1.0.1

1 year, 3 months ago

eb3c849 Fix more nits, release 0.1.0.1

1 year, 3 months ago

879d6ee Fix documentation nits

1 year, 3 months ago

4cffc5d Fix documentation nits

1 year, 3 months ago

13bbe14 Final nits

1 year, 3 months ago

13bbe14 Final nits

1 year, 3 months ago

aa2ab0c README.md

1 year, 3 months ago

cc7734c README.md

1 year, 3 months ago
~jack/public-inbox

New mailing list added

1 year, 3 months ago

6ff838c flake.lock: Update

1 year, 3 months ago

a8ae860 Remove GHC 9.4.1 from CI

1 year, 3 months ago

7be1a5d Fix .build.yml

1 year, 3 months ago

c0644f9 Fix flake GHC versions; update base bound

1 year, 3 months ago

124794d Fix flake

1 year, 3 months ago
1 / 2