Home /
Plutonomicon /
plutarch-plutus
May 29, 12-1 AM (1)
May 29, 1-2 AM (0)
May 29, 2-3 AM (0)
May 29, 3-4 AM (0)
May 29, 4-5 AM (0)
May 29, 5-6 AM (0)
May 29, 6-7 AM (0)
May 29, 7-8 AM (0)
May 29, 8-9 AM (0)
May 29, 9-10 AM (0)
May 29, 10-11 AM (0)
May 29, 11-12 PM (0)
May 29, 12-1 PM (0)
May 29, 1-2 PM (0)
May 29, 2-3 PM (0)
May 29, 3-4 PM (0)
May 29, 4-5 PM (0)
May 29, 5-6 PM (0)
May 29, 6-7 PM (0)
May 29, 7-8 PM (0)
May 29, 8-9 PM (0)
May 29, 9-10 PM (0)
May 29, 10-11 PM (0)
May 29, 11-12 AM (0)
May 30, 12-1 AM (0)
May 30, 1-2 AM (0)
May 30, 2-3 AM (0)
May 30, 3-4 AM (0)
May 30, 4-5 AM (0)
May 30, 5-6 AM (0)
May 30, 6-7 AM (0)
May 30, 7-8 AM (0)
May 30, 8-9 AM (0)
May 30, 9-10 AM (0)
May 30, 10-11 AM (0)
May 30, 11-12 PM (0)
May 30, 12-1 PM (0)
May 30, 1-2 PM (0)
May 30, 2-3 PM (0)
May 30, 3-4 PM (0)
May 30, 4-5 PM (0)
May 30, 5-6 PM (0)
May 30, 6-7 PM (0)
May 30, 7-8 PM (0)
May 30, 8-9 PM (0)
May 30, 9-10 PM (0)
May 30, 10-11 PM (0)
May 30, 11-12 AM (0)
May 31, 12-1 AM (0)
May 31, 1-2 AM (0)
May 31, 2-3 AM (0)
May 31, 3-4 AM (0)
May 31, 4-5 AM (0)
May 31, 5-6 AM (0)
May 31, 6-7 AM (0)
May 31, 7-8 AM (0)
May 31, 8-9 AM (0)
May 31, 9-10 AM (0)
May 31, 10-11 AM (0)
May 31, 11-12 PM (1)
May 31, 12-1 PM (0)
May 31, 1-2 PM (0)
May 31, 2-3 PM (0)
May 31, 3-4 PM (0)
May 31, 4-5 PM (0)
May 31, 5-6 PM (0)
May 31, 6-7 PM (0)
May 31, 7-8 PM (0)
May 31, 8-9 PM (0)
May 31, 9-10 PM (0)
May 31, 10-11 PM (0)
May 31, 11-12 AM (0)
Jun 01, 12-1 AM (0)
Jun 01, 1-2 AM (0)
Jun 01, 2-3 AM (0)
Jun 01, 3-4 AM (0)
Jun 01, 4-5 AM (0)
Jun 01, 5-6 AM (0)
Jun 01, 6-7 AM (0)
Jun 01, 7-8 AM (0)
Jun 01, 8-9 AM (0)
Jun 01, 9-10 AM (0)
Jun 01, 10-11 AM (0)
Jun 01, 11-12 PM (0)
Jun 01, 12-1 PM (0)
Jun 01, 1-2 PM (0)
Jun 01, 2-3 PM (0)
Jun 01, 3-4 PM (0)
Jun 01, 4-5 PM (0)
Jun 01, 5-6 PM (0)
Jun 01, 6-7 PM (0)
Jun 01, 7-8 PM (0)
Jun 01, 8-9 PM (0)
Jun 01, 9-10 PM (0)
Jun 01, 10-11 PM (0)
Jun 01, 11-12 AM (0)
Jun 02, 12-1 AM (0)
Jun 02, 1-2 AM (0)
Jun 02, 2-3 AM (0)
Jun 02, 3-4 AM (0)
Jun 02, 4-5 AM (0)
Jun 02, 5-6 AM (0)
Jun 02, 6-7 AM (0)
Jun 02, 7-8 AM (0)
Jun 02, 8-9 AM (0)
Jun 02, 9-10 AM (0)
Jun 02, 10-11 AM (0)
Jun 02, 11-12 PM (0)
Jun 02, 12-1 PM (0)
Jun 02, 1-2 PM (0)
Jun 02, 2-3 PM (0)
Jun 02, 3-4 PM (0)
Jun 02, 4-5 PM (0)
Jun 02, 5-6 PM (0)
Jun 02, 6-7 PM (0)
Jun 02, 7-8 PM (0)
Jun 02, 8-9 PM (0)
Jun 02, 9-10 PM (0)
Jun 02, 10-11 PM (0)
Jun 02, 11-12 AM (0)
Jun 03, 12-1 AM (0)
Jun 03, 1-2 AM (0)
Jun 03, 2-3 AM (0)
Jun 03, 3-4 AM (0)
Jun 03, 4-5 AM (0)
Jun 03, 5-6 AM (0)
Jun 03, 6-7 AM (0)
Jun 03, 7-8 AM (0)
Jun 03, 8-9 AM (0)
Jun 03, 9-10 AM (0)
Jun 03, 10-11 AM (0)
Jun 03, 11-12 PM (0)
Jun 03, 12-1 PM (0)
Jun 03, 1-2 PM (0)
Jun 03, 2-3 PM (0)
Jun 03, 3-4 PM (0)
Jun 03, 4-5 PM (0)
Jun 03, 5-6 PM (0)
Jun 03, 6-7 PM (0)
Jun 03, 7-8 PM (0)
Jun 03, 8-9 PM (0)
Jun 03, 9-10 PM (1)
Jun 03, 10-11 PM (1)
Jun 03, 11-12 AM (1)
Jun 04, 12-1 AM (0)
Jun 04, 1-2 AM (0)
Jun 04, 2-3 AM (0)
Jun 04, 3-4 AM (0)
Jun 04, 4-5 AM (0)
Jun 04, 5-6 AM (0)
Jun 04, 6-7 AM (0)
Jun 04, 7-8 AM (0)
Jun 04, 8-9 AM (0)
Jun 04, 9-10 AM (0)
Jun 04, 10-11 AM (0)
Jun 04, 11-12 PM (0)
Jun 04, 12-1 PM (0)
Jun 04, 1-2 PM (0)
Jun 04, 2-3 PM (0)
Jun 04, 3-4 PM (0)
Jun 04, 4-5 PM (0)
Jun 04, 5-6 PM (0)
Jun 04, 6-7 PM (0)
Jun 04, 7-8 PM (0)
Jun 04, 8-9 PM (0)
Jun 04, 9-10 PM (0)
Jun 04, 10-11 PM (0)
Jun 04, 11-12 AM (0)
Jun 05, 12-1 AM (0)
5 commits this week
May 29, 2026
-
Jun 05, 2026
flake.lock: Update
Flake lock file updates:
• Updated input 'CHaP':
'github:input-output-hk/cardano-haskell-packages/8479db771a3186eb326e42d8480eddc20a208275?narHash=sha256-BveisGfAV1GBrwP83S5w0D7B1t3VPaoHGGlRcnHYN5E%3D' (2026-05-22)
→ 'github:input-output-hk/cardano-haskell-packages/9a187ad488ecf19944d6d119c41eff683a1ff54f?narHash=sha256-VUzCpkEokaKNnvFEMM386ijgzKgP6pRIo2odQj9XBb0%3D' (2026-05-28)
• Updated input 'emanote':
'github:srid/emanote/6950760d46b656a015ee4e0ff0e6c2847b63889c?narHash=sha256-FQW0yOXoXLxfau2xVcaQA8J7Lo1ici9yxMAM0dHgqjg%3D' (2026-05-17)
→ 'github:srid/emanote/929173d3a06a199c69b4fe5c9fc6ed8b20a2dc99?narHash=sha256-BGISBDFogdA0NC3jEzlxqFBFiE%2BJA2EPYsyyeJHeckQ%3D' (2026-05-27)
• Updated input 'haskell-nix':
'github:input-output-hk/haskell.nix/7d490982dc8b72cda8da55430bb3481feabe70c8?narHash=sha256-VKPTBz9gC7HPTNpIbcLwWDFqZ0V0mc/3CGSiUXY8aI4%3D' (2026-05-24)
→ 'github:input-output-hk/haskell.nix/5b6f4242ada1bf97dceb8fcd086d327341957a7c?narHash=sha256-O2PTuwrLgiERm9VQOWaY40hgv828stlW3tYZv0dHGS8%3D' (2026-05-31)
• Updated input 'haskell-nix/hackage':
'github:input-output-hk/hackage.nix/97a118740edc9c012943d9e30ac6b3ab9abc1688?narHash=sha256-Zf%2B5mk56YwjsZrxhMchMC64KA8/Ei4POSGKrVIZBe7w%3D' (2026-05-24)
→ 'github:input-output-hk/hackage.nix/bf15c3ef900cb22cf01f276c1a700a72436fec06?narHash=sha256-gKBWaon9HX3d49UjRZu4w0Pcpv79Yvr6gOwxEghfENU%3D' (2026-05-31)
• Updated input 'haskell-nix/hackage-for-stackage':
'github:input-output-hk/hackage.nix/aec75c7642addf7fae7da9e8684aaee29a2fdb90?narHash=sha256-aU44iA1O9EdJ9b%2B6IQVItAac9FDnt/b73/F5scEvvn0%3D' (2026-05-24)
→ 'github:input-output-hk/hackage.nix/cd389b7b388e68297293dcd48b32b64673ad4a2d?narHash=sha256-J2813CAsukIQlQnFXeQGvBpLx4MexT3zdABVigvsdN0%3D' (2026-05-31)
• Updated input 'haskell-nix/iserv-proxy':
'github:stable-haskell/iserv-proxy/3f7b2815307c20a0dfd816bdf4a39ab86af3e0d4?narHash=sha256-10x8/G0x3eR/%2B%2BXRHPx4MBuqlnc6%2BN%2BajIxXyLkG%2BnU%3D' (2026-04-08)
→ 'github:stable-haskell/iserv-proxy/8cdc446f8e2d91b120ecc075063e9475d387df52?narHash=sha256-bzZAHGzwcQGzBTipJuUs9tvMGO28kp0373zqnpn0g5A%3D' (2026-05-10)
• Updated input 'haskell-nix/stackage':
'github:input-output-hk/stackage.nix/61e1deec80661083f2eb2988dab95686a2385ca4?narHash=sha256-nKNdYwQY3rELiNg2s1fbOmLBS3w1KEEFlmyaqWThVr4%3D' (2026-05-24)
→ 'github:input-output-hk/stackage.nix/daaf9d2c3f4249b042a3367a97d0db45463ee6c5?narHash=sha256-42E9%2B9gEItGxNZGIimjcK6uFP0%2B9Z0WJSMNIbGEWgKA%3D' (2026-05-30)
• Updated input 'nixpkgs':
'github:NixOS/nixpkgs/6dce29a1d5bafbe5f8aaff0aa5e9dc2b65ca73a8?narHash=sha256-%2Bu86fh3e4Rv568V3HlM7ho3nfdgjtVqrM3H6ZCCwRKk%3D' (2026-05-24)
→ 'github:NixOS/nixpkgs/e41c0b9905e9193bb2799dabd7e7f94390c860bc?narHash=sha256-hlg33YJmiAfuDSOwAvOVHo6xnH1p/Olu9nFT7gYotqQ%3D' (2026-05-31)
Document behavior of `Case` and `Constr` pretty printing