Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 7, 2024

• Merge pull request #25 from shayne-fletcher/ghc-9.10.1

  Show description for 5a90f21
  ekmett

  authored
  5a90f21

• patches for ghc-9.10.1 as a build compiler

  shayne-fletcher

  committed
  929d6d0

Commits on Sep 11, 2020

• Merge pull request #18 from Taneb/thrist-infix-dec

  Show description for e267f42
  ekmett

  authored
  e267f42

Commits on Dec 28, 2019

• Add infixr 5 declaration to Thrist((:.))

  Show description for 65c9be9
  Taneb

  committed
  65c9be9

Commits on Oct 14, 2019

• start a SAT solver

  ekmett

  committed
  525aa0d

• 8.8 compat

  ekmett

  committed
  2126135

Commits on Jul 17, 2019

• Merge pull request #16 from Taneb/docs

  Show description for ebc2bbe
  ekmett

  authored
  ebc2bbe

Commits on Jul 15, 2019

• API docs for Ref module

  Taneb

  committed
  fd23cbe

• Merge pull request #15 from Taneb/master

  Show description for c8e3b5f
  ekmett

  authored
  c8e3b5f

• Add instance Abelian Unit

  

  Nathan van Doorn

  committed
  08df243

• Use groups package rather than internal definition

  

  Nathan van Doorn

  committed
  dcbacdf

• Add stimes definitions for Unit and Aff

  Show description for 58bd4be
  

  Nathan van Doorn

  committed
  58bd4be

Commits on Jul 10, 2019

• Bump hedgehog upper bound

  gwils

  committed
  f83675c

Commits on Apr 17, 2019

• Merge pull request #14 from gwils/self-negate2

  Show description for 4434198
  ekmett

  authored
  4434198

Commits on Apr 10, 2019

• Implement logic for equalities involving the same variable twice

  gwils

  committed
  fe2ccf9

Commits on Apr 4, 2019

• Merge pull request #13 from gwils/travis-8.6.4

  Show description for a216ea4
  ekmett

  authored
  a216ea4

• Update travis to GHC 8.6.4

  gwils

  committed
  3a58d97

Commits on Apr 1, 2019

• add doctest stub, even if we're disabling it for now

  ekmett

  committed
  6a74e22

• avoid randomly breaking other tests for no reason

  ekmett

  committed
  7f3c787

• hedgehog.hs -> hedgehog-main.hs avoids case-insensitive filesystem issues

  Show description for 617a2b2
  ekmett

  committed
  617a2b2

• newDisjoint

  ekmett

  committed
  036b4d2

Commits on Mar 31, 2019

• wip probabilistic tree to help figure out how to adapt nominal adapton

  ekmett

  committed
  4a8a4ae

Commits on Feb 18, 2019

• Merge pull request #11 from gwils/makefile-fix

  Show description for 00b395e
  ekmett

  authored
  00b395e

• Merge pull request #10 from nitromaster101/patch-1

  Show description for 188576e
  ekmett

  authored
  188576e

• Replace CC with CXX in Makefile

  gwils

  committed
  f82815f

Commits on Feb 17, 2019

• Fix compiler warning for reset

  nitromaster101

  authored
  715c469

Commits on Feb 15, 2019

• Merge pull request #9 from gwils/module-layout

  Show description for dd8a7b7
  ekmett

  authored
  dd8a7b7

• Add street directory of modules and some more module headers

  gwils

  committed
  d0c82af

Commits on Feb 12, 2019

• Add 'plus'

  gwils

  committed
  4ea4f07

• Use new conveniences in test suite

  gwils

  committed
  5b49d50

• clear up type defaulting

  gwils

  committed
  d75b6c8

• Merge branch 'master' into test-intervals

  gwils

  committed
  cda9dc6

• Merge branch 'master' into test-intervals

  gwils

  committed
  6bfe09c

• switch from reflection to cont for now

  ekmett

  committed
  d18fcb8

• Comment out tests that fail for now

  gwils

  committed
  70946e7

Pagination

PreviousNext