overlay.language 0.2.0.post13.dev0__tar.gz → 0.2.0.post18.dev0__tar.gz

{overlay_language-0.2.0.post13.dev0 → overlay_language-0.2.0.post18.dev0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: overlay.language
-Version: 0.2.0.post13.dev0
+Version: 0.2.0.post18.dev0
 Summary: A dependency injection framework with pytest-fixture syntax, plus a configuration language for declarative programming
 Project-URL: Repository, https://github.com/Atry/overlay
 Author-email: "Yang, Bo" <yang-bo@yang-bo.com>

{overlay_language-0.2.0.post13.dev0 → overlay_language-0.2.0.post18.dev0}/README.md

@@ -2,7 +2,7 @@
 
 A dependency injection framework with pytest-fixture syntax, plus a
 configuration language for declarative programming, based on
-[Overlay-Calculus](https://arxiv.org/abs/2602.16291).
+[overlay-calculus](https://arxiv.org/abs/2602.16291).
 
 ## Documentation
 

{overlay_language-0.2.0.post13.dev0 → overlay_language-0.2.0.post18.dev0}/docs/index.rst

@@ -24,7 +24,7 @@ logic, or dreaded porting an application from sync to async, or needed to swap
 between providers without rewriting half your Python — the Overlay language can
 help. Despite looking like a configuration format, it is also a statically typed
 modern programming language based on
-`Overlay-Calculus <https://arxiv.org/abs/2602.16291>`_, which is provably more
+`overlay-calculus <https://arxiv.org/abs/2602.16291>`_, which is provably more
 expressive than λ-calculus, so it can express your entire business logic — not
 just configuration. Move that logic into the Overlay language and Python reduces
 to thin I/O adapters that are trivial to mock or replace. The same Overlay code runs against any set of adapters and the business logic

{overlay_language-0.2.0.post13.dev0 → overlay_language-0.2.0.post18.dev0}/docs/overlay-language-tutorial.rst

@@ -342,5 +342,5 @@ using the fixture package at
 The full language specification is in :doc:`specification`.
 
 The semantics of the Overlay language are grounded in the
-`Overlay-Calculus <https://arxiv.org/abs/2602.16291>`_, a formal calculus of
+`overlay-calculus <https://arxiv.org/abs/2602.16291>`_, a formal calculus of
 overlays.

{overlay_language-0.2.0.post13.dev0 → overlay_language-0.2.0.post18.dev0}/src/overlay/language/_core.py

@@ -1184,7 +1184,7 @@ class MixinSymbol(HasDict, Mapping[Hashable, "MixinSymbol"], Symbol):
         symbol is expanded through its ``unions`` and their
         ``normalized_references``.
 
-        Corresponds to the ``this`` function in the Overlay-Calculus paper::
+        Corresponds to the ``this`` function in the overlay-calculus paper::
 
             this(p, p_def) = { p_site | (p_site, p_overlay) in supers(p),
                                         s.t. p_overlay = p_def }