Issues

Issues

• Consider swapping input/output colors?

  evinism/lambda-explorer#129 · opened on May 19, 2024

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

  evinism/lambda-explorer#128 · opened on May 18, 2024

• Partial application

  evinism/lambda-explorer#126 · opened on Dec 4, 2023
  1

• Some typos

  evinism/lambda-explorer#119 · opened on Dec 5, 2022

• Expand expands below the viewport

  evinism/lambda-explorer#85 · opened on Jun 11, 2019

• bad response

  evinism/lambda-explorer#74 · opened on Feb 14, 2019
  2

• Swap over to parser combinators for ease of syntax additions

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

• Possibly add in syntax for substitutions

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

• RAINBOW DARK MODE

  evinism/lambda-explorer#67 · opened on Jan 10, 2019

• Restyle and relayout the back/forward arrows

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

• General feedback

  evinism/lambda-explorer#62 · opened on Jan 7, 2019
  6

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

  evinism/lambda-explorer#58 · opened on Sep 5, 2018

• Improve error messaging

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

• add in helpful graphics

  evinism/lambda-explorer#49 · opened on Oct 1, 2017
  1

• Add in tutorial on y-combinator

  evinism/lambda-explorer#46 · opened on Sep 5, 2017

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

  evinism/lambda-explorer#40 · opened on Jun 7, 2017
  8

• Let user reattempt solving an arbitrary step in the tutorial

  evinism/lambda-explorer#39 · opened on Jun 7, 2017
  3

• Figure out some way of having predefined or persistent variables

  evinism/lambda-explorer#34 · opened on Jun 4, 2017

• make matching paren indicator for the input box

  evinism/lambda-explorer#31 · opened on Jun 3, 2017

• Code cleanup

  evinism/lambda-explorer#29 · opened on Jun 2, 2017

• Design/implement better challenges interface

  evinism/lambda-explorer#28 · opened on Jun 1, 2017

• move execution to webworkers

  evinism/lambda-explorer#21 · opened on May 24, 2017
  2

• Simplify the markup in the repl

  evinism/lambda-explorer#20 · opened on May 24, 2017

• Create a library of recognized functions

  evinism/lambda-explorer#17 · opened on May 20, 2017

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

  evinism/lambda-explorer#15 · opened on May 18, 2017