https://github.com/zoedsoupe/spellbind

simple lambda calculus interpreter - WIP
https://github.com/zoedsoupe/spellbind

elixir interpreter lambda-calculus

Last synced: over 1 year ago
JSON representation

simple lambda calculus interpreter - WIP

• Host: GitHub
• URL: https://github.com/zoedsoupe/spellbind
• Owner: zoedsoupe
• License: mit
• Created: 2024-11-08T14:22:21.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-11-08T14:33:09.000Z (over 1 year ago)
• Last Synced: 2025-02-20T01:48:47.377Z (over 1 year ago)
• Topics: elixir, interpreter, lambda-calculus
• Language: Elixir
• Homepage:
• Size: 8.79 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# spellbind

a minimalist lambda calculus interpreter, built in elixir. this project is an educational dive into lambda calculus, starting simple with untyped lambda calculus, but with plans to explore typed lambda calculus in the future.

## features

- **basic lambda calculus interpreter:** interprets lambda expressions with elixir, focusing on simplicity and clarity.

- **parser & lexer:** implemented with elixir’s binary pattern matching, for efficient and expressive token handling.

  

## roadmap

- expand the interpreter with evaluation strategies (beta reduction, normal form, etc.)

- gradually introduce types for typed lambda calculus, exploring core concepts in type theory.

## notes

this project is meant for learning and exploration. feedback, contributions, or thoughts are more than welcome, especially from anyone interested in functional programming, theoretical computer science, or elixir.