Skip to content
This repository was archived by the owner on Jul 31, 2026. It is now read-only.

Prep for archive - #238

Merged
sanders41 merged 1 commit into
mainfrom
archive
Jul 31, 2026
Merged

Prep for archive#238
sanders41 merged 1 commit into
mainfrom
archive

Conversation

@sanders41

Copy link
Copy Markdown
Member

The repo has been moved to the prelude-parser repo

The repo has been moved to the prelude-parser repo
@sanders41
sanders41 merged commit c3e02b4 into main Jul 31, 2026
8 checks passed
@sanders41
sanders41 deleted the archive branch July 31, 2026 23:54
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant