https://github.com/glubs9/stlcimplementation

simple stlc implementation
https://github.com/glubs9/stlcimplementation

Last synced: about 20 hours ago
JSON representation

simple stlc implementation

• Host: GitHub
• URL: https://github.com/glubs9/stlcimplementation
• Owner: Glubs9
• Created: 2022-07-27T10:27:31.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-08-10T13:39:49.000Z (over 2 years ago)
• Last Synced: 2024-11-09T13:40:40.300Z (about 2 months ago)
• Language: Agda
• Size: 273 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# stlcImplementation

untyped.pl contains an alright untyped lambda calculus implementation

typed.pl contains a very poorly made type checker / type inference implementation for stlc