Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 27, 2023

• Switch minimum version of Cabal.

  kosmikus

  committed
  d84bb2a

  Copy full SHA for d84bb2a

• Clarify license.

  Show description for 45ca516
  kosmikus

  committed
  45ca516

  Copy full SHA for 45ca516

Commits on Nov 14, 2023

• Fix copyright years.

  kosmikus

  committed
  2e2267a

  Copy full SHA for 2e2267a

• Fix release date.

  kosmikus

  committed
  1a39c56

  Copy full SHA for 1a39c56

Commits on Nov 13, 2023

• Another version fix.

  kosmikus

  committed
  4da34ff

  Copy full SHA for 4da34ff

• Merge pull request #99 from kosmikus/github-ci

  Show description for 523cbdc
  kosmikus

  authored
  523cbdc

  Copy full SHA for 523cbdc

• More Haddock fixes.

  kosmikus

  committed
  9509be6

  Copy full SHA for 9509be6

• Yet another Haddock fix.

  kosmikus

  committed
  4887d56

  Copy full SHA for 4887d56

• Another Haddock fix.

  kosmikus

  committed
  5e6ada5

  Copy full SHA for 5e6ada5

• Add CHANGELOG.

  kosmikus

  committed
  20dcc78

  Copy full SHA for 20dcc78

• Fix haddock?

  kosmikus

  committed
  ccbeae6

  Copy full SHA for ccbeae6

• Try to make cabal check happier.

  kosmikus

  committed
  cdfd23f

  Copy full SHA for cdfd23f

• Remove old GHC versions.

  kosmikus

  committed
  695a33a

  Copy full SHA for 695a33a

• GHC versions and package bounds.

  kosmikus

  committed
  fb9571d

  Copy full SHA for fb9571d

• Update versions; add PDF guide.

  kosmikus

  committed
  c7ea485

  Copy full SHA for c7ea485

• More versions.

  kosmikus

  committed
  6b2cbcc

  Copy full SHA for 6b2cbcc

• Update versions.

  kosmikus

  committed
  bea17bf

  Copy full SHA for bea17bf

• Toward GitHub CI.

  kosmikus

  committed
  e9a2669

  Copy full SHA for e9a2669

• Refactoring: fix some warnings.

  kosmikus

  committed
  3c7c861

  Copy full SHA for 3c7c861

• Fix cabal version in cabal file.

  kosmikus

  committed
  7c44b3a

  Copy full SHA for 7c44b3a

• Merge pull request #97 from sgraf812/some-fixes

  Show description for 1fdd090
  kosmikus

  authored
  1fdd090

  Copy full SHA for 1fdd090

• Merge pull request #85 from kosmikus/wip/issue-83

  Show description for c60a23b
  kosmikus

  authored
  c60a23b

  Copy full SHA for c60a23b

Commits on Oct 23, 2023

• Error out with a good message when --pre is used in non-expected ways

  sgraf812

  committed
  a46baa3

  Copy full SHA for a46baa3

• Set cabal-version to 2.0 because we use autogen-modules

  sgraf812

  committed
  d394570

  Copy full SHA for d394570

Commits on Oct 7, 2023

• gitignore: Add dist-newstyle

  sgraf812

  committed
  f091207

  Copy full SHA for f091207

Commits on Jul 3, 2023

• Merge pull request #92 from L-TChen/master

  Show description for e90efe8
  kosmikus

  authored
  e90efe8

  Copy full SHA for e90efe8

Commits on Jul 1, 2023

• [ new ] Add missing keywords for Agda

  L-TChen

  committed
  e52a242

  Copy full SHA for e52a242

Commits on Mar 23, 2023

• Adapt to changed mtl exports.

  kosmikus

  committed
  60df7ce

  Copy full SHA for 60df7ce

• Fix formally non-canonical instance.

  kosmikus

  committed
  549e0b8

  Copy full SHA for 549e0b8

Commits on Jul 14, 2020

• Change minimum version of polytable.

  kosmikus

  committed
  6de0397

  Copy full SHA for 6de0397

• polytable.sty bugfix that will hopefully address #83.

  kosmikus

  committed
  b562437

  Copy full SHA for b562437

Commits on May 1, 2020

• Version bump to 1.24 and CHANGELOG.

  kosmikus

  committed
  34301be

  Copy full SHA for 34301be

• Keep better track of line numbers in line pragmas.

  Show description for ffd2628
  kosmikus

  committed
  ffd2628

  Copy full SHA for ffd2628

• Fix an ancient spelling mistake.

  kosmikus

  committed
  b2c54e7

  Copy full SHA for b2c54e7

Commits on Apr 3, 2020

• CI updates.

  kosmikus

  committed
  0c0f857

  Copy full SHA for 0c0f857

Pagination

Previous

Next