Lorenzobattistela/lambda-calculus-eval

Issues

• Tests

  #20 opened 4 months ago
  1

• Fix Alpha conversion rule to work with strings

  #14 opened 4 months ago
  1

• Type Definitions

  #13 opened 4 months ago
  1

• Import definitions file

  #12 opened 4 months ago
  0

• Syntax Highlighting

  #8 opened 4 months ago
  1

• Applicative order vs Normal order

  #7 opened 4 months ago
  0

• Built (untyped) definitions

  #6 opened 4 months ago
  1

• Allow step-by-step reduction on cli

  #5 opened 4 months ago
  1

• Fix parser issues

  #4 opened 4 months ago
  1