Skip to content

skeleton_typechecks flag on ProblemResult #37

Open
Open
skeleton_typechecks flag on ProblemResult#37
Labels
infrastructureBuild, tooling, REPL, LSPtier-1Free wins, no cost
Milestone
M4 — Persistence and partial credit

Description

@0bserver07
0bserver07
opened on Aug 18, 2026

A decomposition that typechecks with sorry holes is real progress and is currently indistinguishable from total failure.

Do

  • Boolean on ProblemResult, set when the skeleton compiles with holes outstanding

Spec: F-004.

Activity

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    infrastructureBuild, tooling, REPL, LSPtier-1Free wins, no cost

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions