Skip to content
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

Issue #831: move solvers #855

Merged
merged 7 commits into from
Jul 3, 2022
Merged

Issue #831: move solvers #855

merged 7 commits into from
Jul 3, 2022

Commits on Jul 2, 2022

  1. move comm ring solver

    @felixwellen
    felixwellen committed Jul 2, 2022
    Configuration menu
    Copy the full SHA
    d813018 View commit details
    Browse the repository at this point in the history

  2. fix imports and module names

    @felixwellen
    felixwellen committed Jul 2, 2022
    Configuration menu
    Copy the full SHA
    43d15d9 View commit details
    Browse the repository at this point in the history

  3. move monoid solver

    @felixwellen
    felixwellen committed Jul 2, 2022
    Configuration menu
    Copy the full SHA
    35c144b View commit details
    Browse the repository at this point in the history

  4. fix imports and module names

    @felixwellen
    felixwellen committed Jul 2, 2022
    Configuration menu
    Copy the full SHA
    fe707aa View commit details
    Browse the repository at this point in the history

  5. move nat solver

    @felixwellen
    felixwellen committed Jul 2, 2022
    Configuration menu
    Copy the full SHA
    2f527cb View commit details
    Browse the repository at this point in the history

  6. fix imports and module names

    @felixwellen
    felixwellen committed Jul 2, 2022
    Configuration menu
    Copy the full SHA
    dca3dfe View commit details
    Browse the repository at this point in the history

  7. add to README.agda

    @felixwellen
    felixwellen committed Jul 2, 2022
    Configuration menu
    Copy the full SHA
    0c92f5d View commit details
    Browse the repository at this point in the history