Issues

• Consider swapping input/output colors?

  evinism/lambda-explorer#129 · Filter by author dshemetov opened on May 19, 2024

• A few correct examples that the level doesn't deem correct

  evinism/lambda-explorer#128 · Filter by author dshemetov opened on May 18, 2024

• Partial application

  evinism/lambda-explorer#126 · Filter by author Easyoakland opened on Dec 4, 2023
  1

• Some typos

  evinism/lambda-explorer#119 · Filter by author lakesare opened on Dec 5, 2022

• Expand expands below the viewport

  evinism/lambda-explorer#85 · Filter by author bitwombat opened on Jun 11, 2019

• bad response

  evinism/lambda-explorer#74 · Filter by author amryounis opened on Feb 14, 2019
  2

• Swap over to parser combinators for ease of syntax additions

  evinism/lambda-explorer#72 · Filter by author evinism opened on Jan 27, 2019

• Possibly add in syntax for substitutions

  evinism/lambda-explorer#70 · Filter by author evinism opened on Jan 13, 2019

• RAINBOW DARK MODE

  evinism/lambda-explorer#67 · Filter by author flyingbluewhale opened on Jan 10, 2019

• Restyle and relayout the back/forward arrows

  evinism/lambda-explorer#64 · Filter by author evinism opened on Jan 10, 2019

• General feedback

  evinism/lambda-explorer#62 · Filter by author azala opened on Jan 7, 2019
  6

• allow backtracing to earlier definitions, or in-context definitions

  enhancement
  evinism/lambda-explorer#58 · Filter by author evinism opened on Sep 5, 2018

• Improve error messaging

  evinism/lambda-explorer#56 · Filter by author evinism opened on Oct 19, 2017

• add in helpful graphics

  teaching
  evinism/lambda-explorer#49 · Filter by author evinism opened on Oct 1, 2017
  1

• Add in tutorial on y-combinator

  teaching
  evinism/lambda-explorer#46 · Filter by author evinism opened on Sep 5, 2017

• The tool does not recognize λn. n as eta-equivalent to the Church 1 (λfn. f n).

  bugenhancement
  evinism/lambda-explorer#40 · Filter by author anton-trunov opened on Jun 7, 2017
  8

• Let user reattempt solving an arbitrary step in the tutorial

  enhancement
  evinism/lambda-explorer#39 · Filter by author anton-trunov opened on Jun 7, 2017
  3

• Figure out some way of having predefined or persistent variables

  enhancement
  evinism/lambda-explorer#34 · Filter by author evinism opened on Jun 4, 2017

• make matching paren indicator for the input box

  enhancement
  evinism/lambda-explorer#31 · Filter by author evinism opened on Jun 3, 2017

• Code cleanup

  cleanup
  evinism/lambda-explorer#29 · Filter by author evinism opened on Jun 2, 2017

• Design/implement better challenges interface

  enhancementteaching
  evinism/lambda-explorer#28 · Filter by author evinism opened on Jun 1, 2017

• move execution to webworkers

  enhancement
  evinism/lambda-explorer#21 · Filter by author evinism opened on May 24, 2017
  2

• Simplify the markup in the repl

  cleanup
  evinism/lambda-explorer#20 · Filter by author evinism opened on May 24, 2017

• Create a library of recognized functions

  enhancement
  evinism/lambda-explorer#17 · Filter by author evinism opened on May 20, 2017

• Make a better interface for informing users of syntax errors inline

  enhancement
  evinism/lambda-explorer#15 · Filter by author evinism opened on May 18, 2017