Merge branch 'master' into patch-1

This commit is contained in:
Alexey Zabelin 2023-05-18 19:14:24 -05:00 committed by GitHub
commit 419974146b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -13,6 +13,10 @@ packages:
"Dominick Samperi <djsamperi@gmail.com> @djsamperi": "Dominick Samperi <djsamperi@gmail.com> @djsamperi":
- mathlist - mathlist
"Alexey Tochin <Alexey.Tochin@gmail.com> @alexeytochin":
- simple-expr
- inf-backprop
"Felix Springer <felixspringer149@gmail.com> @jumper149": "Felix Springer <felixspringer149@gmail.com> @jumper149":
- deriving-trans - deriving-trans
- monad-control-identity - monad-control-identity