https://github.com/severen/sly

A cunning interpreter for the pure untyped λ-calculus.
https://github.com/severen/sly

computability-theory functional-programming haskell interpreter lambda-calculus language programming-language programming-language-theory

Last synced: about 2 months ago
JSON representation

A cunning interpreter for the pure untyped λ-calculus.

• Host: GitHub
• URL: https://github.com/severen/sly
• Owner: severen
• License: gpl-3.0
• Created: 2022-08-27T09:19:51.000Z (over 2 years ago)
• Default Branch: master
• Last Pushed: 2024-05-29T13:10:29.000Z (7 months ago)
• Last Synced: 2024-05-30T02:55:47.054Z (7 months ago)
• Topics: computability-theory, functional-programming, haskell, interpreter, lambda-calculus, language, programming-language, programming-language-theory
• Language: Haskell
• Homepage:
• Size: 75.2 KB
• Stars: 4
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        


# sly

sly is an interpreter for the pure untyped λ-calculus written in Haskell.