Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add syntax sugar for nested sigma-types #183

Merged
merged 8 commits into from
May 2, 2024
Merged

Add syntax sugar for nested sigma-types #183

merged 8 commits into from
May 2, 2024

Commits on Apr 19, 2024

  1. Implemented syntactic sugar for nested sigma types

    @geffk2
    geffk2 committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    f378bca View commit details
    Browse the repository at this point in the history

  2. Corrected overlapping rule

    @geffk2
    geffk2 committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    1fe743d View commit details
    Browse the repository at this point in the history

  3. Added ASCII and Unicode rules

    @geffk2
    geffk2 committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    fbaf19c View commit details
    Browse the repository at this point in the history

  4. Added lsp tokenization

    @geffk2
    geffk2 committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    b96c92c View commit details
    Browse the repository at this point in the history

  5. Support tuple patterns (desugared to left-associative nested pairs)

    @fizruk @geffk2
    fizruk authored and geffk2 committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    df9ed14 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. Added tuple patterns

    @geffk2
    geffk2 committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    418c65b View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. Made naming consistent for Sigma Tuples

    @geffk2
    geffk2 committed May 1, 2024
    Configuration menu
    Copy the full SHA
    1197dc1 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. Merge branch 'develop' into syntax-sugar-sigma-types

    @fizruk
    fizruk authored May 2, 2024
    Configuration menu
    Copy the full SHA
    48b1b3a View commit details
    Browse the repository at this point in the history