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

Eq3 implications #51

Merged

pitmonticone merged 2 commits into teorth:main from kant2002:kant/eq3-simple

Sep 28, 2024

Contributor

kant2002 commented Sep 28, 2024

No description provided.


          Eq3 implications

eb1ee01

Contributor Author

kant2002 commented Sep 28, 2024

Okay. I also should somehow find #33 first 😄


          use implicit arguments

ce73a89

Collaborator

pitmonticone commented Sep 28, 2024

Thanks @kant2002

pitmonticone merged commit 55b228c into teorth:main

2 checks passed

kant2002 deleted the kant/eq3-simple branch

September 28, 2024 15:07

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

Labels

None yet