Skip to content

External URLs include file:// - #12

Merged
istathar merged 2 commits into
technique-lang:mainfrom
istathar:remote-uris
Jun 24, 2026
Merged

External URLs include file://#12
istathar merged 2 commits into
technique-lang:mainfrom
istathar:remote-uris

Conversation

@istathar

Copy link
Copy Markdown
Member

Invocations of "External" or "Remote" procedure targets are valid if they are https://, http://, or file://. This change adds highlighting support for the latter two cases.

@istathar istathar self-assigned this Jun 24, 2026
@istathar

Copy link
Copy Markdown
Member Author

@istathar
istathar merged commit 199af14 into technique-lang:main Jun 24, 2026
@istathar
istathar deleted the remote-uris branch June 24, 2026 02:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant