close #639 #642

Merged
merged 3 commits into from Mar 9, 2014

Conversation

Projects
None yet
2 participants
Contributor

mikeshulman commented Mar 2, 2014

No description provided.

andrejbauer added a commit that referenced this pull request Mar 9, 2014

@andrejbauer andrejbauer merged commit a0bd007 into HoTT:master Mar 9, 2014

1 check passed

default The Travis CI build passed
Details

@mikeshulman mikeshulman deleted the mikeshulman:recurrence branch Mar 9, 2014

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