Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 4, 2023

• Merge pull request #5 from azdavis/no-abstype

  Show description for c79683d
  MatthewFluet

  authored
  c79683d

  Copy full SHA for c79683d

• Merge pull request #4 from azdavis/master

  Show description for cad7f26
  MatthewFluet

  authored
  cad7f26

  Copy full SHA for cad7f26

Commits on Apr 3, 2023

• Replace abstype with datatype

  azdavis

  committed
  92095e1

  Copy full SHA for 92095e1

• Use UTF-8

  azdavis

  committed
  9e919a0

  Copy full SHA for 9e919a0

Commits on Jun 6, 2022

• Merge pull request #3 from poldy/master

  Show description for 3aa0be5
  MatthewFluet

  authored
  3aa0be5

  Copy full SHA for 3aa0be5

Commits on Jun 5, 2022

• Start integrating into Smackage

  poldy

  committed
  825839a

  Copy full SHA for 825839a

Commits on Feb 3, 2017

• Merge pull request #1 from InquisitiveCoder/extended-basis-flags

  Show description for 04477d3
  MatthewFluet

  authored
  04477d3

  Copy full SHA for 04477d3

• Merge pull request #2 from laurikari/master

  Show description for 4fd8611
  MatthewFluet

  authored
  4fd8611

  Copy full SHA for 4fd8611

Commits on Jan 31, 2017

• Add an ad-hoc collection of tools used in my projects.

  

  Ville Laurikari

  committed
  9cefa9e

  Copy full SHA for 9cefa9e

Commits on Feb 18, 2015

• Added "none" to FLAGS signature in Extended Basis.

  InquisitiveCoder

  committed
  f1f56ec

  Copy full SHA for f1f56ec

Commits on Mar 11, 2013

• For each .ignore file, link a corresponding .gitignore file.

  MatthewFluet

  committed
  9245081

  Copy full SHA for 9245081

Commits on Jul 11, 2009

• Changed comment wording to fit within 80 columns.

  Show description for a3e077a
  

  Vesa Karvonen

  committed
  a3e077a

  Copy full SHA for a3e077a

• Added phantom booleans for expressing arbitrary finite relations at the

  Show description for ec422a1
  

  Vesa Karvonen

  committed
  ec422a1

  Copy full SHA for ec422a1

Commits on Jul 10, 2009

• Bug fix: Added missing infix declaration for >> required as a workaround

  Show description for 745ef3d
  

  Vesa Karvonen

  committed
  745ef3d

  Copy full SHA for 745ef3d

Commits on Jan 11, 2009

• Initial config for amd64-linux.

  Show description for 4ed9ce4
  

  Vesa Karvonen

  committed
  4ed9ce4

  Copy full SHA for 4ed9ce4

Commits on Jan 8, 2009

• Added FRU.D for completely replacing the record being updated. This is

  Show description for 7cb2952
  

  Vesa Karvonen

  committed
  7cb2952

  Copy full SHA for 7cb2952

Commits on Dec 21, 2008

• Minor optimization.

  Show description for 7f5ed67
  

  Vesa Karvonen

  committed
  7f5ed67

  Copy full SHA for 7f5ed67

Commits on Dec 20, 2008

• Renamed drop -> skipManySatisfy and take -> manySatisfy and added several

  Show description for 2b8b59d
  

  Vesa Karvonen

  committed
  2b8b59d

  Copy full SHA for 2b8b59d

Commits on Dec 16, 2008

• Added ad-hoc tests for sepEndBy and sepEndBy1 and fixed a bug in

  Show description for 7a4ecf2
  

  Vesa Karvonen

  committed
  7a4ecf2

  Copy full SHA for 7a4ecf2

Commits on Dec 14, 2008

• Use ge rather than eq comparison to make overflow check elimination

  Show description for 7e5c231
  

  Vesa Karvonen

  committed
  7e5c231

  Copy full SHA for 7e5c231

• Try the most likely alternative first.

  Show description for 3cc5826
  

  Vesa Karvonen

  committed
  3cc5826

  Copy full SHA for 3cc5826

• Some minor simplifications.

  Show description for bd26ded
  

  Vesa Karvonen

  committed
  bd26ded

  Copy full SHA for bd26ded

• Some minor optimizations.

  Show description for 8af6f74
  

  Vesa Karvonen

  committed
  8af6f74

  Copy full SHA for 8af6f74

• Added a number of combinators and some ad hoc tests.

  Show description for 5550e4e
  

  Vesa Karvonen

  committed
  5550e4e

  Copy full SHA for 5550e4e

Commits on Oct 20, 2008

• Restructuring examples.

  Show description for 47a7998
  

  Vesa Karvonen

  committed
  47a7998

  Copy full SHA for 47a7998

• Restructuring examples.

  Show description for 2584676
  

  Vesa Karvonen

  committed
  2584676

  Copy full SHA for 2584676

Commits on Oct 19, 2008

• Changed to use labeled args via FRU. Also changed the client signature to

  Show description for a8686e8
  

  Vesa Karvonen

  committed
  a8686e8

  Copy full SHA for a8686e8

• Added support for (labelled) args via FRU.

  Show description for 1cfcecf
  

  Vesa Karvonen

  committed
  1cfcecf

  Copy full SHA for 1cfcecf

• Changed to use StaticSum.

  Show description for 05fc3fc
  

  Vesa Karvonen

  committed
  05fc3fc

  Copy full SHA for 05fc3fc

Commits on Oct 18, 2008

• Work around SML/NJ's CM bugs.

  Show description for 354dbc3
  

  Vesa Karvonen

  committed
  354dbc3

  Copy full SHA for 354dbc3

• Added Id : ID for the identity type constructor.

  Show description for 02d09ab
  

  Vesa Karvonen

  committed
  02d09ab

  Copy full SHA for 02d09ab

• Added the EMPTY signature for convenience.

  Show description for 086d2e8
  

  Vesa Karvonen

  committed
  086d2e8

  Copy full SHA for 086d2e8

• Added T'1 and T'2 signatures for convenience.

  Show description for f5247af
  

  Vesa Karvonen

  committed
  f5247af

  Copy full SHA for f5247af

Commits on Oct 17, 2008

• Moved dependencies to a common build file for the server and client sides

  Show description for 37c388c
  

  Vesa Karvonen

  committed
  37c388c

  Copy full SHA for 37c388c

• Generic read is not required by the example code.

  Show description for f81046b
  

  Vesa Karvonen

  committed
  f81046b

  Copy full SHA for f81046b

Pagination

Previous

Next