Skip to content
Snippets Groups Projects
Commit 0d1908ce authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Add Given builtin deductions 

Addresses #24845.

Needs documentation
parent c2f2f171
No related branches found
No related tags found
No related merge requests found
Pipeline #96629 failed
Stage: tool-lint
    Stage: quick-build
      Stage: full-build
        Stage: packaging
          Stage: testing
            Hide whitespace changes
            Inline Side-by-side
            0% or .
            You are about to add 0 people to the discussion. Proceed with caution.
            Finish editing this message first!
            Please register or to comment