Creating Encodable For Callable Type

.github/workflows/lint.yml

@@ -19,6 +19,10 @@ jobs:
         with:
           enable-cache: true
 
+      - name: Install pandoc
+        run: |
+          sudo apt install -y pandoc
+
       - name: Install dependencies
         run: |
           uv sync --all-extras --dev

.github/workflows/test.yml

@@ -22,6 +22,10 @@ jobs:
         with:
           enable-cache: true
 
+      - name: Install pandoc
+        run: |
+          sudo apt install -y pandoc
+
       - name: Install Python dependencies
         run: |
           uv sync --all-extras --dev --python ${{ matrix.python-version }}

.github/workflows/test_llm.yml

@@ -0,0 +1,34 @@
+name: LLM Integration Tests
+
+on:
+  pull_request:
+    branches: 
+      - master
+      - 'staging-*'
+  # Allow manual trigger
+  workflow_dispatch:
+
+jobs:
+  test-llm:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ["'3.13'"]
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install uv
+        uses: astral-sh/setup-uv@v5
+        with:
+          enable-cache: true
+
+      - name: Install Python dependencies
+        run: |
+          uv sync --all-extras --dev --python ${{ matrix.python-version }}
+
+      - name: Run LLM integration tests
+        env:
+          OPENAI_API_KEY: ${{ secrets.OPENAI_API_KEY }}
+          ANTHROPIC_API_KEY: ${{ secrets.ANTHROPIC_API_KEY }}
+        run: |
+          uv run pytest tests/test_handlers_llm_provider.py -v --tb=short

.github/workflows/test_notebooks.yml

@@ -26,6 +26,10 @@ jobs:
         with:
           enable-cache: true
 
+      - name: Install pandoc
+        run: |
+          sudo apt install -y pandoc
+
       - name: Install Python packages
         run: |
           uv sync --all-extras --dev

docs/source/effectful.rst

@@ -15,7 +15,6 @@ Syntax
    :members:
    :undoc-members:
 
-   .. autofunction:: effectful.ops.syntax.defterm(value: T) -> Expr[T]
    .. autofunction:: effectful.ops.syntax.defdata(value: Term[T]) -> Expr[T]
 
 Semantics

docs/source/lambda_.py

@@ -102,7 +102,7 @@ def sort_add(x: Expr[int], y: Expr[int]) -> Expr[int]:
         case Term(add_, (a, Term(vx, ()))), Term(vy, ()) if add_ == add and id(vx) > id(
             vy
         ):
-            return (a + vy()) + vx()  # type: ignore
+            return (a + vy()) + vx()
         case _:
             return fwd()