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

Idris2 pretty printer initial support #208

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Open

Idris2 pretty printer initial support #208

wants to merge 12 commits into from

Commits on Oct 27, 2024

  1. Basic support for Idris2 pretty printer added

    @GlebChili
    GlebChili committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    e6316bc View commit details
    Browse the repository at this point in the history

  2. Small fix for NamedCtxt

    @GlebChili
    GlebChili committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    05fe03c View commit details
    Browse the repository at this point in the history

  3. Fixed order of variables in the Idris2 pretty printer

    @GlebChili
    GlebChili committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    ca77e57 View commit details
    Browse the repository at this point in the history

  4. Removed ConditionType binding (due to the bug in derivation)

    @GlebChili
    GlebChili committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    6a0c7fb View commit details
    Browse the repository at this point in the history

  5. Idris 2 pretty printer is fully functional now

    @GlebChili
    GlebChili committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    bbb0087 View commit details
    Browse the repository at this point in the history

  6. Move name generators out of runner

    @GlebChili
    GlebChili committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    fc8d7f5 View commit details
    Browse the repository at this point in the history

  7. Idris2 pretty printer is fully operational

    @GlebChili
    GlebChili committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    149e7f9 View commit details
    Browse the repository at this point in the history

  8. Small naming fix

    @GlebChili
    GlebChili committed Oct 27, 2024
    Configuration menu
    Copy the full SHA
    09d73b2 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. Update branch for new Runner and Lua support

    @GlebChili
    GlebChili committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    c7cbbc5 View commit details
    Browse the repository at this point in the history

  2. Introduce Idris2 support back to the Runner

    @GlebChili
    GlebChili committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    851ae3f View commit details
    Browse the repository at this point in the history

  3. Fixed print rare occurrences; Added missing reserved idris2 operator

    @GlebChili
    GlebChili committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    be10da9 View commit details
    Browse the repository at this point in the history

  4. Regenerated test filles

    @GlebChili
    GlebChili committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    4a5ae49 View commit details
    Browse the repository at this point in the history