Skip to content

Instantly share code, notes, and snippets.

@scott-fleischman

scott-fleischman/gist:6d25bf77e2f0020d22c9

Created July 1, 2015 20:18
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save scott-fleischman/6d25bf77e2f0020d22c9 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save scott-fleischman/6d25bf77e2f0020d22c9 to your computer and use it in GitHub Desktop.
Download ZIP
Untyped lambda calculus visualization ideas
Raw
gistfile1.md
  • AST editor
    • Variable entry/rename
    • Create fresh variable name
    • \ = lambda
    • space = apply
    • letters = variable
  • Show/hide unnecessary parentheses
  • Tree view?
  • Hover over variables shows binding
    • Maybe free variables of the same name or shadowed ones are highlighted in a different color?
  • Highlight each term type (lambda, variable, application)
  • Highlight redexes
    • Perhaps list redexes on the side
    • Reduce a redex
  • Definitions
    • Define true, false, numbers, etc.
    • Match/find structures (false is the same structure as zero, etc.)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment