https://github.com/aatxe/diet-coke
A small functional language with effect inference based on Koka.
https://github.com/aatxe/diet-coke
effects functional-languages inference interpreter koka programming-language repl
Last synced: 2 months ago
JSON representation
A small functional language with effect inference based on Koka.
- Host: GitHub
- URL: https://github.com/aatxe/diet-coke
- Owner: aatxe
- License: gpl-3.0
- Created: 2016-09-14T22:31:15.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2016-11-19T08:02:25.000Z (over 8 years ago)
- Last Synced: 2025-04-14T16:13:57.918Z (2 months ago)
- Topics: effects, functional-languages, inference, interpreter, koka, programming-language, repl
- Language: Scala
- Size: 111 KB
- Stars: 11
- Watchers: 3
- Forks: 1
- Open Issues: 0