https://github.com/brendanzab/elm-stlc

Bidirectional type checker for the simply typed lambda calculus
https://github.com/brendanzab/elm-stlc

bidirectional-typechecking elm lambda-calculus simply-typed-lambda-calculus type-checking

Last synced: 3 months ago
JSON representation

Bidirectional type checker for the simply typed lambda calculus

• Host: GitHub
• URL: https://github.com/brendanzab/elm-stlc
• Owner: brendanzab
• License: mit
• Created: 2018-11-15T12:54:53.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-02-04T04:41:13.000Z (almost 5 years ago)
• Last Synced: 2023-04-09T22:12:59.174Z (almost 2 years ago)
• Topics: bidirectional-typechecking, elm, lambda-calculus, simply-typed-lambda-calculus, type-checking
• Language: Elm
• Homepage: https://ellie-app.com/3Wq9nP4zcCva1
• Size: 15.6 KB
• Stars: 12
• Watchers: 2
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project