Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 10, 2016

• Update README.

  Show description for 27823c8
  sirius94

  committed
  27823c8

• * lambdai.cabal (build-depends): Add containers.

  sirius94

  committed
  524f3bd

Commits on Dec 5, 2016

• Add browser interface.

  Show description for 24918a8
  sirius94

  committed
  24918a8

Commits on Dec 3, 2016

• Use stack.

  Show description for 4a87ae8
  sirius94

  committed
  4a87ae8

• Fix eval strategies.

  Show description for 0fe0872
  sirius94

  committed
  0fe0872

Commits on Dec 1, 2016

• Add adjustable limit to reduction steps. (#3)

  Show description for 161b640
  sirius94

  committed
  161b640

• Change package version to 1.0.0.0.

  Show description for 03d468c
  sirius94

  committed
  03d468c

Commits on Nov 28, 2016

• Add README.org.

  Show description for d393084
  sirius94

  committed
  d393084

• Remove upper limit of base dependency.

  Show description for aeccbf5
  sirius94

  committed
  aeccbf5

• Add README.

  Show description for 7840895
  sirius94

  committed
  7840895

Commits on Nov 27, 2016

• Allow rendering of traces in LaTeX.

  Show description for dccbc8a
  sirius94

  committed
  dccbc8a

• Render lambda terms with fewer parens.

  Show description for bb8c5df
  sirius94

  committed
  bb8c5df

Commits on Nov 26, 2016

• Replace interpreter implementation.

  Show description for 502ca19
  sirius94

  committed
  502ca19

Commits on Nov 25, 2016

• Add base for new interpreter.

  Show description for dc1c501
  sirius94

  committed
  dc1c501

• Fix parser errors.

  Show description for ae2c0eb
  sirius94

  committed
  ae2c0eb

Commits on Nov 24, 2016

• Generate more useful unique identifiers.

  Show description for 07e8877
  

  Cyrill Schenkel

  committed
  07e8877

• Clean up code.

  Show description for 25deae8
  

  Cyrill Schenkel

  committed
  25deae8

• Don't allow any whitespace characters in identifiers.

  Show description for 774af22
  

  Cyrill Schenkel

  committed
  774af22

• Reorder functions.

  Show description for 2a62333
  

  Cyrill Schenkel

  committed
  2a62333

• Add :load interpreter directive.

  Show description for 41a4339
  

  Cyrill Schenkel

  committed
  41a4339

• Remove obsolete function.

  Show description for e759bc4
  

  Cyrill Schenkel

  committed
  e759bc4

Commits on Nov 22, 2016

• Allow backslash as an alternative to lambda.

  Show description for e045438
  sirius94

  committed
  e045438

• Add interpreter pragmas.

  Show description for e818ffa
  sirius94

  committed
  e818ffa

Commits on Nov 18, 2016

• Rename option to represent its real effect.

  Show description for dae4ae1
  sirius94

  committed
  dae4ae1

• Add one-line comments.

  Show description for 7adf1c3
  sirius94

  committed
  7adf1c3

Commits on Nov 17, 2016

• Allow lazy and eager evaluation.

  Show description for 87874d0
  sirius94

  committed
  87874d0

• Don't replace unbound ids with unique ids.

  Show description for 25635f9
  sirius94

  committed
  25635f9

Commits on Nov 12, 2016

• Add 3 more modules and 2 evaluation strategies.

  Show description for 30f5696
  sirius94

  committed
  30f5696

Commits on Nov 11, 2016

• Add '.gitignore'.

  Show description for 15b1aad
  sirius94

  committed
  15b1aad

• Initial commit

  Show description for 2485576
  sirius94

  committed
  2485576