Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 12, 2025

• Update stack resolver

  yairchu

  committed
  06cf48e

  Copy full SHA for 06cf48e

Commits on Sep 9, 2024

• Fixes for build with GHC 9.8.2 env (stackage nightly-2024-09-09)

  Show description for 186aac2
  yairchu

  committed
  186aac2

  Copy full SHA for 186aac2

Commits on Sep 7, 2024

• Remove redundant imports

  yairchu

  committed
  bc6a101

  Copy full SHA for bc6a101

Commits on Sep 6, 2024

• Docs: Add a sort of table-of-contents to explain the introduction section

  yairchu

  committed
  01ce64a

  Copy full SHA for 01ce64a

Commits on Aug 30, 2024

• Fixes for build with GHC 9.10

  

  Noah Harvey

  authored and

  yairchu

  committed
  4cf97a7

  Copy full SHA for 4cf97a7

Commits on Jul 25, 2023

• Update stackage resolver to lts-21.4 (GHC 9.4.5) and fix GHC 9.4 warning

  yairchu

  committed
  93844c6

  Copy full SHA for 93844c6

Commits on Jun 4, 2023

• Fix skolem escape checks for to-nom

  Show description for 3d72e03
  yairchu

  committed
  3d72e03

  Copy full SHA for 3d72e03

• Add failing test for undetected skolem escapes

  yairchu

  committed
  cc12fb1

  Copy full SHA for cc12fb1

• Add comments and DRY

  yairchu

  committed
  1f5e5d4

  Copy full SHA for 1f5e5d4

• Code style changes.

  Show description for 4bb7314
  yairchu

  committed
  4bb7314

  Copy full SHA for 4bb7314

• Tests: nicer assertions on errors, unicode not escaped

  yairchu

  committed
  8c7721e

  Copy full SHA for 8c7721e

• Code reads better with do-notation

  yairchu

  committed
  01abdc6

  Copy full SHA for 01abdc6

• Tests: Parameterize mutType to helper

  yairchu

  committed
  1df00b9

  Copy full SHA for 1df00b9

• Tests: extract tests into different modules

  yairchu

  committed
  88126b0

  Copy full SHA for 88126b0

Commits on Jun 1, 2023

• Format using fourmolu c2af95bce0cd

  yairchu

  committed
  febc2d2

  Copy full SHA for febc2d2

• More succinct names for blame tests

  yairchu

  committed
  6210281

  Copy full SHA for 6210281

• Convert tests to proper test suite using tasty

  yairchu

  committed
  3b17c92

  Copy full SHA for 3b17c92

• Reuse WithConstraint. Simplifies type of function exported only for SPECIALIZE pragrmas

  Show description for 354ac7b
  yairchu

  committed
  354ac7b

  Copy full SHA for 354ac7b

• Update stack resolver

  yairchu

  committed
  8127246

  Copy full SHA for 8127246

Commits on May 23, 2023

• Fix README typo

  yairchu

  committed
  b5d9e12

  Copy full SHA for b5d9e12

• Fix README as type-classes derivations are also sometime available in generic-based derivations

  yairchu

  committed
  36a1ae2

  Copy full SHA for 36a1ae2

Commits on Apr 10, 2023

• hlint police

  yairchu

  committed
  f455007

  Copy full SHA for f455007

Commits on Feb 22, 2023

• add HNodes context for FlatEmbed

  

  MegaBluejay

  authored and

  yairchu

  committed
  0ec0aa2

  Copy full SHA for 0ec0aa2

• Add failing test for #14 (will be fixed in next commit)

  yairchu

  committed
  992f080

  Copy full SHA for 992f080

• Update stackage/GHC to 9.2.5

  yairchu

  committed
  4535406

  Copy full SHA for 4535406

Commits on Feb 9, 2023

• Remove redundant constraints warned by GHC 9.2.5

  Show description for 5b2ebd3
  yairchu

  committed
  5b2ebd3

  Copy full SHA for 5b2ebd3

Commits on Dec 26, 2022

• Fix build with GHC 9.2.5

  yairchu

  committed
  7e1a044

  Copy full SHA for 7e1a044

Commits on Nov 27, 2022

• DRY

  Show description for 161142e
  yairchu

  committed
  161142e

  Copy full SHA for 161142e

• Code formatting using fourmolu

  Show description for 8a4e6b9
  yairchu

  committed
  8a4e6b9

  Copy full SHA for 8a4e6b9

• Use \\ rather than withDict. Nicer and works better with formatters like fourmolu

  Show description for b265f3a
  yairchu

  committed
  b265f3a

  Copy full SHA for b265f3a

Commits on Nov 11, 2022

• Replace link to 'Data types a la carte' paper

  

  rm--

  authored and

  yairchu

  committed
  f2be425

  Copy full SHA for f2be425

Commits on Sep 1, 2022

• Add passing tests for blame algorithm

  yairchu

  committed
  c37fb8e

  Copy full SHA for c37fb8e

Commits on Apr 4, 2022

• Minor code golfs

  yairchu

  committed
  d526a13

  Copy full SHA for d526a13

• Remove redundant RTraversableInferOf which can be expressed using other combinators

  Show description for fe0ebbf
  yairchu

  committed
  fe0ebbf

  Copy full SHA for fe0ebbf

• Remove unnecessary proxy arg, can use type applications instead

  yairchu

  committed
  861c3db

  Copy full SHA for 861c3db

Pagination

Previous

Next