Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 2, 2025

• inspection-testing-0.6

  phadej

  committed
  38555bc

  Copy full SHA for 38555bc

• Merge pull request #119 from phadej/ghc-9.12

  Show description for df860fc
  phadej

  authored
  df860fc

  Copy full SHA for df860fc

• Add GHC-9.12 support

  phadej

  committed
  22e5368

  Copy full SHA for 22e5368

Commits on Nov 9, 2024

• Merge pull request #114 from phadej/explict-ss

  Show description for ecfb567
  phadej

  authored
  ecfb567

  Copy full SHA for ecfb567

• Add SS' :: SNat n -> SNat (S n)

  phadej

  committed
  3119dd5

  Copy full SHA for 3119dd5

Commits on Aug 24, 2024

• Merge pull request #113 from phadej/hashable-1.5

  Show description for 4cfb8b1
  phadej

  authored
  4cfb8b1

  Copy full SHA for 4cfb8b1

• Allow hashable-1.5

  phadej

  committed
  2fa9b0b

  Copy full SHA for 2fa9b0b

Commits on Jun 8, 2024

• Merge pull request #112 from phadej/noble

  Show description for 1e4a45f
  phadej

  authored
  1e4a45f

  Copy full SHA for 1e4a45f

• Support GHC-8.6.5...9.10.1

  phadej

  committed
  c97a733

  Copy full SHA for c97a733

Commits on Oct 24, 2023

• Merge pull request #109 from phadej/ghc-9.8

  Show description for 4367d77
  phadej

  authored
  4367d77

  Copy full SHA for 4367d77

• Support GHC-9.8

  phadej

  committed
  d6e1753

  Copy full SHA for d6e1753

Commits on Apr 25, 2023

• Allow bifunctors-5.6 in fin

  phadej

  committed
  39c46f8

  Copy full SHA for 39c46f8

Commits on Mar 21, 2023

• x-revision in vec-optics and vec-lens

  phadej

  committed
  1826f07

  Copy full SHA for 1826f07

• Merge pull request #106 from phadej/ghc-9.6

  Show description for 202a73c
  phadej

  authored
  202a73c

  Copy full SHA for 202a73c

Commits on Mar 20, 2023

• base-4.18 and some-1.0.5

  phadej

  committed
  09fc08a

  Copy full SHA for 09fc08a

Commits on Aug 22, 2022

• Merge pull request #105 from phadej/ghc-9.4

  Show description for 0120d4b
  phadej

  authored
  0120d4b

  Copy full SHA for 0120d4b

• Allow base-4.17, lens-5.2

  phadej

  committed
  593c71d

  Copy full SHA for 593c71d

• Merge pull request #104 from phadej/split-out-dec

  Show description for 94bf494
  phadej

  authored
  94bf494

  Copy full SHA for 94bf494

• Dec is now in own repository

  phadej

  committed
  d5a8c27

  Copy full SHA for d5a8c27

Commits on Jan 3, 2022

• Update x-revision fields

  phadej

  committed
  36cdebb

  Copy full SHA for 36cdebb

• Allow transformers-compat-0.7 in vec

  phadej

  committed
  7f30b7d

  Copy full SHA for 7f30b7d

Commits on Jan 2, 2022

• Merge pull request #101 from phadej/some

  Show description for 800379b
  phadej

  authored
  800379b

  Copy full SHA for 800379b

• Add some (the package) instances

  phadej

  committed
  e77d040

  Copy full SHA for e77d040

Commits on Dec 19, 2021

• Merge pull request #100 from phadej/bounds-2021

  Show description for efd4675
  phadej

  authored
  efd4675

  Copy full SHA for efd4675

Commits on Dec 18, 2021

• Relax bounds

  phadej

  committed
  bef4855

  Copy full SHA for bef4855

• Merge pull request #99 from phadej/tests-laws

  Show description for 3858462
  phadej

  authored
  3858462

  Copy full SHA for 3858462

• Move laws to tests/

  phadej

  committed
  0430e26

  Copy full SHA for 0430e26

• Merge pull request #98 from phadej/fin-prop

  Show description for 0deeddf
  phadej

  authored
  0deeddf

  Copy full SHA for 0deeddf

• Add Nat properties test-suite

  phadej

  committed
  958f3f5

  Copy full SHA for 958f3f5

• Merge pull request #97 from phadej/gt-ge

  Show description for 65609ea
  phadej

  authored
  65609ea

  Copy full SHA for 65609ea

• Lazier <=, >= and min for Nat

  phadej

  committed
  dc67362

  Copy full SHA for dc67362

• Explicitly implement > and >= for Nat

  Show description for 2cf0139
  phadej

  committed
  2cf0139

  Copy full SHA for 2cf0139

Commits on Dec 12, 2021

• Merge pull request #96 from phadej/dfoldr

  Show description for f1549d8
  phadej

  authored
  f1549d8

  Copy full SHA for f1549d8

• Add dfoldr, dfoldl, and dfoldl'

  Show description for 97a41b5
  phadej

  committed
  97a41b5

  Copy full SHA for 97a41b5

• Trim eol-ws

  phadej

  committed
  18126ab

  Copy full SHA for 18126ab

Pagination

Previous

Next