Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 20, 2019

• Update README.md

  maxhallinan

  authored
  9e89e13

• Short circuit build script if any step fails.

  maxhallinan

  committed
  36c982c

• Add font style for initial redexer content so there is less flash of

  Show description for 49445fe
  maxhallinan

  committed
  49445fe

• Fix test broken by psfmt.

  maxhallinan

  committed
  406dd67

Commits on Oct 19, 2019

• Format with psfmt

  maxhallinan

  committed
  b1b8089

• Make copy change

  maxhallinan

  committed
  443e39e

• Fix bug where focused redex was always the outermost redex.

  Show description for 9e6576a
  maxhallinan

  committed
  9e6576a

• Replace dotted underline with solid because dotted underline doesn't look good on Chrome.

  maxhallinan

  committed
  79a7b2a

• Rename Component.Stepper to Component.Redexer

  maxhallinan

  committed
  796977a

• Update README.md

  maxhallinan

  authored
  3188d69

• Add deploy script.

  Show description for 608ec4e
  maxhallinan

  committed
  608ec4e

Commits on Oct 13, 2019

• Set name of project to Redexer.

  maxhallinan

  committed
  2df0b36

Commits on Oct 10, 2019

• Improve names in Stepper and Step.

  maxhallinan

  committed
  15b333b

• Remove unnecessary '$' operator from tests.

  maxhallinan

  committed
  7003c50

• Clean up code in Term

  maxhallinan

  committed
  1949292

• Improve naming in Step and Stepper components.

  maxhallinan

  committed
  fde8de2

• Improve naming in Step and Stepper components.

  maxhallinan

  committed
  a894d35

• Rename Component/Node -> Component/Step

  maxhallinan

  committed
  a2079f0

• Apply auto-formatting to all files.

  maxhallinan

  committed
  5667f8c

• Use de Bruijn indices when stepping through a Lambda term.

  maxhallinan

  committed
  844f9c2

Commits on Oct 9, 2019

• Add functions needed to reduce an arbitrary redex in a Lambda term.

  maxhallinan

  committed
  601fd0e

• Implement shift, substitute, and eval for de Bruijn indexed Lambda terms.

  Show description for d74c4f9
  maxhallinan

  committed
  d74c4f9

• Play around with recursion schemes for shift and substitute.

  maxhallinan

  committed
  10d2ec4

• Finish first implementation of eval.

  maxhallinan

  committed
  910dc18

Commits on Oct 8, 2019

• Parse a lambda term into a Term with de Bruijn indexing.

  Show description for fd050e6
  maxhallinan

  committed
  fd050e6

• Disable step interaction when editing first step.

  maxhallinan

  committed
  681316c

Commits on Oct 3, 2019

• Refactor and debug handleEditorKeyDown and handleEditorBlurred.

  maxhallinan

  committed
  65cedc4

• Refactor handleEditorContentChanged for readability.

  Show description for c7ac268
  maxhallinan

  committed
  c7ac268

• Refactor handleEditBtnClicked to improve readability.

  maxhallinan

  committed
  5d0e443

Commits on Oct 2, 2019

• Show error message when parsing fails.

  Show description for 45599e3
  maxhallinan

  committed
  45599e3

Commits on Oct 1, 2019

• Update pendingContent when editor changes.

  Show description for 53e14f1
  maxhallinan

  committed
  53e14f1

• Parse new lambda term after editor is blurred.

  maxhallinan

  committed
  2e8b956

• Render a contentEditable element when in Write mode.

  maxhallinan

  committed
  7900ac2

• Add first version of introduction text.

  maxhallinan

  committed
  483b550

• Underline reduceable nodes so the user has a hint of what to click on.

  maxhallinan

  committed
  afaf728

Pagination

PreviousNext