Skip to content

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

3 participants