https://github.com/alexbuyan/lambdacalculator

Library to work with lambda calculus
https://github.com/alexbuyan/lambdacalculator

haskell lambda-calculus

Last synced: 12 months ago
JSON representation

Library to work with lambda calculus

• Host: GitHub
• URL: https://github.com/alexbuyan/lambdacalculator
• Owner: alexbuyan
• Created: 2022-02-24T19:46:56.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2022-02-24T21:12:49.000Z (over 4 years ago)
• Last Synced: 2023-03-04T23:02:38.653Z (over 3 years ago)
• Topics: haskell, lambda-calculus
• Language: Haskell
• Homepage:
• Size: 4.88 KB
• Stars: 6
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project