Skip to content
This repository has been archived by the owner on Apr 2, 2023. It is now read-only.

Add the other connection to examples/connection.prl. #571

Merged
merged 2 commits into from
Jan 17, 2018
Merged

Add the other connection to examples/connection.prl. #571

merged 2 commits into from
Jan 17, 2018

Conversation

cangiuli
Copy link
Contributor

I needed the other kind of connection (although not the correct diagonal) to prove something in examples/tutorial.prl, and I figured it should also be in examples/connection.prl.

@cangiuli cangiuli requested a review from favonia January 16, 2018 19:54
favonia
favonia approved these changes Jan 17, 2018
View reviewed changes
Copy link
Contributor

@favonia favonia left a comment •
edited
Loading

Choose a reason for hiding this comment

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

What happened to Travis? Is it running at all? Otherwise I have no objection. Perhaps we should format Connection/And in the same way.

@cangiuli
Copy link
Contributor Author

It looks like Travis had some difficulties today.

@cangiuli cangiuli merged commit dba466c into master Jan 17, 2018
@cangiuli cangiuli deleted the connection branch January 17, 2018 16:30
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@favonia favonia favonia approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@cangiuli @jonsterling @favonia