Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 17, 2024

• update strongweak dependency

  raehik

  committed
  20408df

• add binrep instances for strongweak WeakenN

  raehik

  committed
  b5e5891

• tweaks

  raehik

  committed
  f50304b

Commits on Oct 13, 2024

• update rerefined, strongweak

  raehik

  committed
  b020111

• tweaks

  raehik

  committed
  867362a

Commits on Oct 12, 2024

• tiny tweaks

  raehik

  committed
  593ef7e

Commits on Oct 5, 2024

• add -fhide-source-paths flag (nicer build logs)

  raehik

  committed
  565588d

Commits on Oct 3, 2024

• release 1.0.0

  raehik

  committed
  bb93228

• tweak package.yaml

  raehik

  committed
  f725c24

Commits on Oct 1, 2024

• tweak package.yaml

  raehik

  committed
  f6d082c

• update deps, Nix building

  raehik

  committed
  d84e001

• update strongweak dep

  raehik

  committed
  8bdd75d

• Get: fix Get [a] instance

  raehik

  committed
  622f3a5

• update changelog

  raehik

  committed
  9e6cdce

• add to-do for generic sum interface issue

  raehik

  committed
  3c2f170

• .....fix NullTerminate check.....

  Show description for eb05bcb
  raehik

  committed
  eb05bcb

Commits on Sep 30, 2024

• add missing BLen (GenericallyNonSum a)

  raehik

  committed
  06e3b54

Commits on Sep 28, 2024

• fix Nix flake GHC 9.10 (now actually GHC 9.10)

  raehik

  committed
  491dc87

• add GHC 9.10 to Nix flake

  raehik

  committed
  39fad47

• fix tests (delete generic tests)

  raehik

  committed
  2a42bc2

• simplify CI (only Nix)

  raehik

  committed
  bf7bacc

• various tweaks, fixes

  raehik

  committed
  bdc96d2

Commits on Jun 15, 2024

• update deps, cleanup

  raehik

  committed
  c89741b

Commits on Jun 13, 2024

• Get: improve generic errors

  raehik

  committed
  48580b8

• finish upgrading Get

  Show description for 75e8298
  raehik

  committed
  75e8298

• add type-level cstr handling for Put, BLen

  Show description for 9983e5f
  raehik

  committed
  9983e5f

Commits on Jun 12, 2024

• bump some dependency bounds

  raehik

  committed
  e099bac

• delete commented-out code

  raehik

  committed
  cbfd7ea

• update g-f-d (new traverse sum handling)

  raehik

  committed
  2946b09

• delete old unused code

  raehik

  committed
  2c77ade

• tweaks

  raehik

  committed
  bde1478

• initial rewrite for rerefined etc

  raehik

  committed
  4dd3048

Commits on Apr 14, 2024

• add some to-dos

  raehik

  committed
  8d10873

• clean up

  raehik

  committed
  1c172c0

• redo AsciiNat :)

  Show description for c916634
  raehik

  committed
  c916634

Pagination

PreviousNext