existentials #25

Open
opened 2026-06-24 10:52:07 +02:00 by st · 0 comments
Owner

with interfaces being multi participant with no privileded self type, existentials need a little magic

Show[_] could be one syntax for it

Convert[_, string]

with interfaces being multi participant with no privileded self type, existentials need a little magic `Show[_]` could be one syntax for it `Convert[_, string]`
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
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
st/amelie#25
No description provided.