New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use (Spec state) as state for Spec monad (fix #12). #64

Merged

1 commit merged into main from contractmodel-spec-monadstate

Oct 29, 2021

ghost commented Oct 28, 2021 •

edited by ghost

Loading

should fix #12

Pre-submit checklist:

Branch
- Tests are provided (if possible)
- Commit sequence broadly makes sense
- Key commits have useful messages
- Relevant tickets are mentioned in commit messages
- Formatting, materialized Nix files, PNG optimization, etc. are updated
PR
- Self-reviewed the diff
- Useful pull request description
- Reviewer requested


          Use (Spec state) as state for Spec monad (fix #12).

1b90aab

ghost requested a review from silky

October 29, 2021 10:23

UlfNorell approved these changes

View reviewed changes

Author

ghost commented Oct 29, 2021

@UlfNorell thanks!

ghost merged commit 56fc3fa into main

ghost deleted the contractmodel-spec-monadstate branch

October 29, 2021 12:34

This pull request was closed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet