Skip to content

Generic hole stdlib functions #7625

@pierremtb

Description

@pierremtb

What's being defined in the spec at #7543, without including any work on standard hole presets but opening the door to them

Metadata

Metadata

Assignees

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions