Skip to content

Parametric refinements#116

Draft
fourglobe302500 wants to merge 11 commits intomasterfrom
parametric_refinements
Draft

Parametric refinements#116
fourglobe302500 wants to merge 11 commits intomasterfrom
parametric_refinements

Conversation

@fourglobe302500
Copy link
Collaborator

@fourglobe302500 fourglobe302500 commented Aug 4, 2025

Writing support for parametric refinements on liquid types

  • Desugaring
  • Elaboration
    • Fix Unification
  • Core Generation
  • ANF Conversion
  • Type Checking
  • Clean-up logging

Resolves #14

@fourglobe302500 fourglobe302500 self-assigned this Aug 4, 2025
@fourglobe302500 fourglobe302500 added enhancement New feature or request python Pull requests that update python code labels Aug 4, 2025
@fourglobe302500

This comment was marked as resolved.

@fourglobe302500

This comment was marked as resolved.

alcides

This comment was marked as resolved.

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

Labels

enhancement New feature or request python Pull requests that update python code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Parametric refinements

2 participants