Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 12, 2018

• Merge pull request #1 from pbaille/patch-1

  Show description for f3e8031
  jmgimeno

  authored
  f3e8031

Commits on Mar 24, 2016

• Update README.md

  

  Pierre Baille

  committed
  6ca2f3c

Commits on Jul 16, 2013

• Updated versions of dependencies

  

  Juan Manuel Gimeno Illa

  committed
  ab9b505

Commits on Jan 14, 2012

• Code simplification

  jmgimeno

  committed
  c319fa6

Commits on Jan 13, 2012

• Solved some little problems with markup

  jmgimeno

  committed
  92037a5

• Updated README.md for or-patterns

  jmgimeno

  committed
  1031a2f

• Added or-expressions at the top level to group whole conditions in a rule

  jmgimeno

  committed
  3ee44ec

• Markdown problems in README.md

  jmgimeno

  committed
  0e37f27

• Little error in README.me solved

  jmgimeno

  committed
  0e2c258

• Added as-patterns to README.me

  jmgimeno

  committed
  17407b4

• Deleted explicit arguments in defuns

  jmgimeno

  committed
  9329d46

Commits on Jan 12, 2012

• defun and defunlazy ignore arguments and use first condition to deduce them

  jmgimeno

  committed
  3bd0f91

• Changed implementations to refer to the values of parameters with :as patterns

  jmgimeno

  committed
  0e02fed

• Added :as expressions for conditions

  jmgimeno

  committed
  3b69dec

Commits on Jan 11, 2012

• Simple function renaming

  jmgimeno

  committed
  6e3293a

• Optimized force of $-expressions when expanding defunlazy

  jmgimeno

  committed
  cc8dfce

Commits on Jan 10, 2012

• Refactored common code

  jmgimeno

  committed
  be1cc28

• Corrected some misspellings

  jmgimeno

  committed
  646d0f1

• Simplified implementation of Batched deques

  jmgimeno

  committed
  b600cd1

Commits on Jan 9, 2012

• Added Batched deques (exercice 5.1)

  jmgimeno

  committed
  b1638b1

Commits on Jan 8, 2012

• Added implementation of Batched Queues

  jmgimeno

  committed
  0f36981

Commits on Jan 7, 2012

• Changed README and incremented version

  jmgimeno

  committed
  6d79dbb

• Changed streams to use himBHnotation and deflazy

  jmgimeno

  committed
  43eeb68

• Added himBHexpr and defunlazy

  jmgimeno

  committed
  7f76024

Commits on Jan 3, 2012

• Little modification on insert implementation to be more faithbool to the book

  jmgimeno

  committed
  b3bd993

• Added implementation of Red-Black-Trees

  jmgimeno

  committed
  39a99cf

• Minor editions

  jmgimeno

  committed
  60d8ed2

• Code cleaning

  jmgimeno

  committed
  d0c5f18

Commits on Jan 2, 2012

• Field names of constructors are mangled to avoid conflicts in patterns

  jmgimeno

  committed
  e457a65

• Added :else patterns

  jmgimeno

  committed
  2f4513a

• Incremented version number and updated docs

  jmgimeno

  committed
  bb4d805

• Lazy datatypes work with records

  jmgimeno

  committed
  c1836b5

• Changed to records (only eager datatypes work)

  jmgimeno

  committed
  79fd47f

Commits on Jan 1, 2012

• Factored lists out of binomial heaps

  jmgimeno

  committed
  b300243

• Solved bug with namespace resolution of constructors in patterns

  jmgimeno

  committed
  4f1ecfe

Pagination

PreviousNext