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

Migrate Prelude into `dhall-lang` repository #247

Merged
merged 1 commit into from Oct 21, 2018

Conversation

Projects
None yet
3 participants
@Gabriel439
Contributor

Gabriel439 commented Oct 19, 2018

... as suggested here:

#240 (comment)

@f-f

f-f approved these changes Oct 19, 2018

@FintanH

👍 is there plans to change package.dhall files to terms.dhall and types.dhall?

@Gabriel439

This comment has been minimized.

Contributor

Gabriel439 commented Oct 20, 2018

@FintanH: Yes. I was just waiting until after it was migrated into this repository to create those files (and then have ./package.dhall just import ./terms.dhall). Once that is done I'll create a Dhall wiki post describing the idiom of creating ./terms.dhall and ./types.dhall files for Dhall packages

@FintanH

This comment has been minimized.

Collaborator

FintanH commented Oct 20, 2018

@Gabriel439 right on! This reminded me to create a ticket for dhall-bhat too :)

@Gabriel439 Gabriel439 merged commit 0a7f596 into master Oct 21, 2018

1 check passed

hydra Hydra build #4001 of dhall-lang:247:dhall-lang
Details

@Gabriel439 Gabriel439 deleted the gabriel/migrate_prelude branch Oct 21, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment