Skip to content

Add dev guide#2566

Merged
plajjan merged 1 commit into
mainfrom
dev-guide
Dec 28, 2025
Merged

Add dev guide#2566
plajjan merged 1 commit into
mainfrom
dev-guide

Conversation

@plajjan

@plajjan plajjan commented Dec 28, 2025

Copy link
Copy Markdown
Contributor

This is for ourselves, documenting the language, compiler, implementation details as well as designs and aspiration.

It's basically empty right now, except for a few thoughts I jotted down, but I want to put this like a scaffolding in place so we can start filling it out.

This is for ourselves, documenting the language, compiler,
implementation details as well as designs and aspiration.

It's basically empty right now, except for a few thoughts I jotted down,
but I want to put this like a scaffolding in place so we can start
filling it out.
@plajjan plajjan enabled auto-merge December 28, 2025 00:07
@plajjan plajjan merged commit d8c65cc into main Dec 28, 2025
36 of 37 checks passed
@plajjan plajjan deleted the dev-guide branch December 28, 2025 00:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant