https://github.com/quchen/lambda-ski

A lambda and SKI calculus playground
https://github.com/quchen/lambda-ski

haskell lambda-calculus ski-calculus

Last synced: 3 months ago
JSON representation

A lambda and SKI calculus playground

• Host: GitHub
• URL: https://github.com/quchen/lambda-ski
• Owner: quchen
• License: other
• Created: 2018-01-25T15:21:35.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2023-03-07T15:32:42.000Z (almost 2 years ago)
• Last Synced: 2024-05-09T23:01:43.552Z (8 months ago)
• Topics: haskell, lambda-calculus, ski-calculus
• Language: Haskell
• Size: 134 KB
• Stars: 4
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project