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

Implicit scope #46

Open
wants to merge 10 commits into
base: modular-implicits
Choose a base branch
from
Open

Implicit scope #46

wants to merge 10 commits into from

Commits on Jan 1, 2016

  1. Introduce "implicit Path" construction

    @let-def @lpw25
    let-def authored and lpw25 committed Jan 1, 2016
    Configuration menu
    Copy the full SHA
    8968f74 View commit details
    Browse the repository at this point in the history

  2. Add implicit statements in surface language

    @let-def @lpw25
    let-def authored and lpw25 committed Jan 1, 2016
    Configuration menu
    Copy the full SHA
    24e07d4 View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2016

  1. Add explicit

    @lpw25
    lpw25 committed Jan 2, 2016
    Configuration menu
    Copy the full SHA
    af087e8 View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2016

  1. Separate implicit flag from module declarations

    @lpw25
    lpw25 committed Jan 7, 2016
    Configuration menu
    Copy the full SHA
    3c609e7 View commit details
    Browse the repository at this point in the history

  2. Check inclusion for implicit descriptions

    @lpw25
    lpw25 committed Jan 7, 2016
    Configuration menu
    Copy the full SHA
    7c3929f View commit details
    Browse the repository at this point in the history

  3. Add local implicit expression

    @lpw25
    lpw25 committed Jan 7, 2016
    Configuration menu
    Copy the full SHA
    317c436 View commit details
    Browse the repository at this point in the history

  4. Bootstrap

    @lpw25
    lpw25 committed Jan 7, 2016
    Configuration menu
    Copy the full SHA
    fbdf132 View commit details
    Browse the repository at this point in the history

  5. Fix bug in printing

    @lpw25
    lpw25 committed Jan 7, 2016
    Configuration menu
    Copy the full SHA
    8be614d View commit details
    Browse the repository at this point in the history

  6. Fix bug in open

    @lpw25
    lpw25 committed Jan 7, 2016
    Configuration menu
    Copy the full SHA
    7212088 View commit details
    Browse the repository at this point in the history

  7. Add support for implicit include

    @lpw25
    lpw25 committed Jan 7, 2016
    Configuration menu
    Copy the full SHA
    3a584c0 View commit details
    Browse the repository at this point in the history