https://github.com/bynect/system-f-cli

Small SystemF interpreter
https://github.com/bynect/system-f-cli

lambda-calculus system-f typed-lambda-calculus

Last synced: about 1 month ago
JSON representation

Small SystemF interpreter

• Host: GitHub
• URL: https://github.com/bynect/system-f-cli
• Owner: bynect
• License: mpl-2.0
• Created: 2021-12-21T19:50:30.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2022-01-12T08:26:03.000Z (over 4 years ago)
• Last Synced: 2025-12-31T01:59:02.931Z (5 months ago)
• Topics: lambda-calculus, system-f, typed-lambda-calculus
• Language: Haskell
• Homepage:
• Size: 86.9 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project