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.

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

Issue 1114 #1131

Open
wants to merge 10 commits into
base: master
Choose a base branch
from
Open

Commits on Dec 11, 2021

  1. Filter for maybe

    CucumisSativus committed Dec 11, 2021
    Configuration menu
    Copy the full SHA
    6ef0537 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    586af8b View commit details
    Browse the repository at this point in the history
  3. Update docs

    CucumisSativus committed Dec 11, 2021
    Configuration menu
    Copy the full SHA
    6b96d21 View commit details
    Browse the repository at this point in the history
  4. Update docs2

    CucumisSativus committed Dec 11, 2021
    Configuration menu
    Copy the full SHA
    e281d41 View commit details
    Browse the repository at this point in the history
  5. hkt for filter

    CucumisSativus committed Dec 11, 2021
    Configuration menu
    Copy the full SHA
    bed806e View commit details
    Browse the repository at this point in the history
  6. Bind filter to maybe n

    CucumisSativus committed Dec 11, 2021
    Configuration menu
    Copy the full SHA
    4954a4a View commit details
    Browse the repository at this point in the history
  7. satisfy almighty mypy

    CucumisSativus committed Dec 11, 2021
    Configuration menu
    Copy the full SHA
    45b1fa6 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    3878184 View commit details
    Browse the repository at this point in the history
  9. issue found!

    CucumisSativus committed Dec 11, 2021
    Configuration menu
    Copy the full SHA
    60950f6 View commit details
    Browse the repository at this point in the history

Commits on Dec 12, 2021

  1. slots added

    CucumisSativus committed Dec 12, 2021
    Configuration menu
    Copy the full SHA
    cca6894 View commit details
    Browse the repository at this point in the history