Skip to content

Conversation

@ocharles
Copy link
Member

Fixes #221

Copy link
Collaborator

@Gabriella439 Gabriella439 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Minor suggestion: pair and unit could be simplified to auto, but I'm also fine with keeping them being explicit for clarity

@Gabriella439
Copy link
Collaborator

I'll go ahead and merge since on more reflection I prefer the explicit approach

@Gabriella439 Gabriella439 merged commit 430fc08 into dhall-lang:master Jan 23, 2018
Gabriella439 added a commit that referenced this pull request Jan 23, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants