https://github.com/lightandlight/linearlambda

Linear lambda calculus implementation
https://github.com/lightandlight/linearlambda

Last synced: 17 days ago
JSON representation

Linear lambda calculus implementation

• Host: GitHub
• URL: https://github.com/lightandlight/linearlambda
• Owner: LightAndLight
• License: bsd-3-clause
• Created: 2018-01-31T06:10:54.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2018-01-31T21:58:37.000Z (over 8 years ago)
• Last Synced: 2025-05-27T03:11:56.344Z (about 1 year ago)
• Language: Haskell
• Size: 7.81 KB
• Stars: 3
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project