effekt-lang / effekt-lang/effekt

Remove `extern resource` feature

Open
#1,241 0 comments 0 reactions 0 assignees View on GitHub
area:parser/lexer
Dominant language
Scala
Stars
469
Forks
41
Avg merge
1d 16h
Merged PRs (30d)
23

Description

As far as I can see, we are not using `extern resource` anywhere, nor is it documented. Remove the feature.

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.