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

Coersion in strict data types and Omega1(S1). #250

Merged
merged 6 commits into from
Aug 20, 2018
Merged

Coersion in strict data types and Omega1(S1). #250

merged 6 commits into from
Aug 20, 2018

Commits on Aug 18, 2018

  1. Remove something that does not make sense.

    @favonia
    favonia committed Aug 18, 2018
    Configuration menu
    Copy the full SHA
    4bf1b37 View commit details
    Browse the repository at this point in the history

  2. Type-check fhcom in data types.

    @favonia
    favonia committed Aug 18, 2018
    Configuration menu
    Copy the full SHA
    78b6cfc View commit details
    Browse the repository at this point in the history

  3. Coersion in strict data types should be id.

    @favonia
    favonia committed Aug 18, 2018
    Configuration menu
    Copy the full SHA
    9f31738 View commit details
    Browse the repository at this point in the history

  4. More progress on Omega1(S1).

    @favonia
    favonia committed Aug 18, 2018
    Configuration menu
    Copy the full SHA
    135c9ea View commit details
    Browse the repository at this point in the history

  5. Put the speed testing back.

    @favonia
    favonia committed Aug 18, 2018
    Configuration menu
    Copy the full SHA
    bbd1b84 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2018

  1. Revert "Put the speed testing back." 

    This reverts commit bbd1b84.
    @favonia
    favonia committed Aug 20, 2018
    Configuration menu
    Copy the full SHA
    8e03437 View commit details
    Browse the repository at this point in the history