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.

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

Add support for more types #51

Closed
wants to merge 14 commits into from

Commits on Apr 12, 2024

  1. Inital push

    (some tests need to be adjusted)
    mcimadamore committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    bcf31bc View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. Fix tests

    mcimadamore committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    477e435 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    3eb997a View commit details
    Browse the repository at this point in the history
  3. Add test for union type

    mcimadamore committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    7967c37 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    59db7cd View commit details
    Browse the repository at this point in the history
  5. Fix tests after merge

    mcimadamore committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    dbcb63e View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2024

  1. Drop intersections and unions

    Tweak type projection to eliminate intersections/unions
    mcimadamore committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    17b14da View commit details
    Browse the repository at this point in the history
  2. Drop spurious changes

    mcimadamore committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    a7cd29a View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. Add bound to type-variables

    Tweak tests
    Add erasure method
    mcimadamore committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    3929e04 View commit details
    Browse the repository at this point in the history
  2. Add erasure test

    mcimadamore committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    05571c5 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2024

  1. Configuration menu
    Copy the full SHA
    52fc6e9 View commit details
    Browse the repository at this point in the history
  2. Remove whitespaces

    mcimadamore committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    89a551a View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. Configuration menu
    Copy the full SHA
    8ad6110 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    507074e View commit details
    Browse the repository at this point in the history