https://github.com/trackoor/STLC

❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
https://github.com/trackoor/STLC

programming-language simply-typed-lambda-calculus stlc

Last synced: 3 months ago
JSON representation

❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.

• Host: GitHub
• URL: https://github.com/trackoor/STLC
• Owner: trackoor
• Created: 2021-01-28T17:03:24.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2021-02-01T16:11:15.000Z (almost 5 years ago)
• Last Synced: 2025-01-31T09:05:22.898Z (12 months ago)
• Topics: programming-language, simply-typed-lambda-calculus, stlc
• Language: Haskell
• Homepage:
• Size: 8.79 KB
• Stars: 5
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# STLC

Try to implement a STLC REPL in Coq & Haskell.

Formalized in Coq, Run in Haskell.

# TODO

- Formally verify some feature of this implementation in Coq

- De bruijn Index