effekt-lang / effekt-lang/effekt

Recursive Bidirectional effects

Open
#397 0 comments 3 reactions 0 assignees View on GitHub
feature
Dominant language
Scala
Stars
469
Forks
41
Avg merge
1d 16h
Merged PRs (30d)
23

Description

We should support interfaces to mention themselves in their own methods:

![image](https://github.com/effekt-lang/effekt/assets/408265/a75642ea-0b91-46b3-baa1-0b6299e713b2)

The error message is also really confusing. We should stop talking about bidirectional effects and find a more programmer friendly terminology.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.