https://github.com/jonathanstarup/flix-tapl

Implementing Types and Programming Languages by Benjamin Pierce in Flix.
https://github.com/jonathanstarup/flix-tapl

flix flix-programming-language tapl types-and-programming-languages

Last synced: about 2 months ago
JSON representation

Implementing Types and Programming Languages by Benjamin Pierce in Flix.

• Host: GitHub
• URL: https://github.com/jonathanstarup/flix-tapl
• Owner: JonathanStarup
• License: other
• Created: 2024-02-22T19:27:02.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-02-22T21:51:57.000Z (over 1 year ago)
• Last Synced: 2025-07-21T22:44:32.319Z (3 months ago)
• Topics: flix, flix-programming-language, tapl, types-and-programming-languages
• Homepage:
• Size: 2.93 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

README

          
# flix-tapl

Implementing Types and Programming Languages by Benjamin Pierce in Flix.