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

Update Prelude documentation #237

Merged
merged 1 commit into from Sep 30, 2018

Conversation

Projects
None yet
1 participant
@Gabriel439
Contributor

Gabriel439 commented Sep 29, 2018

Fixes #236

This uses the new https link and also removes references to IPFS in favor
of using GitHub according to #162

Update Prelude documentation
Fixes #236

This uses the new `https` link and also removes references to IPFS in favor
of using GitHub according to #162

@Gabriel439 Gabriel439 merged commit a336b75 into master Sep 30, 2018

1 check passed

hydra Hydra build #3553 of dhall-lang:237:dhall-lang
Details

@Gabriel439 Gabriel439 deleted the gabriel/update_prelude branch Sep 30, 2018

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