Skip to content

Experiment: High-level simplification#101

Draft
mitschabaude wants to merge 10 commits intomainfrom
lawful-by-definition
Draft

Experiment: High-level simplification#101
mitschabaude wants to merge 10 commits intomainfrom
lawful-by-definition

Conversation

@mitschabaude
Copy link
Copy Markdown
Collaborator

No description provided.

@mitschabaude mitschabaude marked this pull request as draft June 2, 2025 05:42
@mitschabaude mitschabaude changed the base branch from monad-refactor to lawful-by-definition-1 June 2, 2025 07:54
@mitschabaude mitschabaude changed the title Change Circuit monad to be consistent by definition Experiment: Higher-level simplification Jun 2, 2025
@mitschabaude mitschabaude changed the title Experiment: Higher-level simplification Experiment: High-level simplification Jun 2, 2025
Base automatically changed from lawful-by-definition-1 to monad-refactor June 2, 2025 10:19
Base automatically changed from monad-refactor to main June 5, 2025 09:22
@mitschabaude mitschabaude moved this to Todo in clean core dev Jun 16, 2025
@mitschabaude mitschabaude moved this from Todo to Backlog in clean core dev Jun 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Backlog

Development

Successfully merging this pull request may close these issues.

1 participant