Skip to content

Fix broken examples#5

Merged
cburgdorf merged 1 commit intomainfrom
worktree-zazzy-juggling-neumann
Feb 26, 2026
Merged

Fix broken examples#5
cburgdorf merged 1 commit intomainfrom
worktree-zazzy-juggling-neumann

Conversation

@cburgdorf
Copy link
Contributor

@cburgdorf cburgdorf commented Feb 26, 2026

I updated the examples and removed stuff from boilerplate.fe that is now in the std lib and prelude.

@cburgdorf cburgdorf force-pushed the worktree-zazzy-juggling-neumann branch from 4dc0e5e to 1de67bb Compare February 26, 2026 10:42
@cburgdorf cburgdorf force-pushed the worktree-zazzy-juggling-neumann branch from 1de67bb to eab5d3e Compare February 26, 2026 11:10
@cburgdorf cburgdorf marked this pull request as ready for review February 26, 2026 11:11
@cburgdorf cburgdorf merged commit 8c1e2ed into main Feb 26, 2026
1 check passed
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