Support Protocols #1

New issue

Open

opened 2026-05-27 16:06:32 +00:00 by J3RN · 0 comments

J3RN commented 2026-05-27 16:06:32 +00:00 (Migrated from codeberg.org)

Copy link

• Go-to definition on protocol name
• Find references on protocol name
• Go-to definition on protocol functions
• Find references on protocol functions
• Find implementations on protocol

- Go-to definition on protocol name - Find references on protocol name - Go-to definition on protocol functions - Find references on protocol functions - Find implementations on protocol

Sign in to join this conversation.

No Branch/Tag specified

Branches Tags

main

protocols

functions-record-params

v0.1.4

v0.1.3

v0.1.2

v0.1.1

v0.1.0

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference

J3RN/laborant#1

No description provided.