co-lambda 0.5.0.post1.dev0__tar.gz → 0.6.0.post1.dev0__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (36) hide show
  1. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/PKG-INFO +1 -1
  2. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/.gitignore +0 -0
  3. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/README.md +0 -0
  4. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/pyproject.toml +0 -0
  5. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/__init__.py +0 -0
  6. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_analysis.py +0 -0
  7. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_ast.py +0 -0
  8. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_binnat.py +0 -0
  9. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_codec.py +0 -0
  10. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_compiler_artifact.py +0 -0
  11. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_defun_codegen.py +0 -0
  12. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_defun_runtime.py +0 -0
  13. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_defunctionalize.py +0 -0
  14. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_dsl.py +0 -0
  15. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_generated/.gitattributes +0 -0
  16. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_generated/__init__.py +0 -0
  17. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_generated/_generated_defun_compiler_py311.py +0 -0
  18. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_generated/_generated_defun_compiler_py312.py +0 -0
  19. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_generated/_generated_defun_compiler_py313.py +0 -0
  20. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_hoas_latex.py +0 -0
  21. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_latex.py +0 -0
  22. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_prelude.py +0 -0
  23. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_pyast.py +0 -0
  24. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_pybuild.py +0 -0
  25. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_reduce.py +0 -0
  26. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_shape.py +0 -0
  27. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_sugar.py +0 -0
  28. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/src/co_lambda/_typecheck.py +0 -0
  29. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/tests/__snapshots__/test_binnat.ambr +0 -0
  30. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/tests/__snapshots__/test_defunctionalize.ambr +0 -0
  31. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/tests/test_arithmetic.py +0 -0
  32. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/tests/test_binnat.py +0 -0
  33. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/tests/test_defunctionalize.py +0 -0
  34. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/tests/test_hoas_latex.py +0 -0
  35. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/tests/test_pyast.py +0 -0
  36. {co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/tests/test_pybuild.py +0 -0
{co_lambda-0.5.0.post1.dev0 → co_lambda-0.6.0.post1.dev0}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: co-lambda
3
- Version: 0.5.0.post1.dev0
3
+ Version: 0.6.0.post1.dev0
4
4
  Summary: A least-fixpoint first-order-shape-relation interpreter for the lambda-calculus
5
5
  Project-URL: Repository, https://github.com/Atry/MIXINv2
6
6
  Author-email: "Yang, Bo" <yang-bo@yang-bo.com>