Add few rec tests #126

Merged
merged 5 commits into from Aug 22, 2015

Conversation

Projects
None yet
1 participant
@phadej
Member

phadej commented Jul 28, 2015

No description provided.

@phadej phadej referenced this pull request Jul 28, 2015

Closed

μ-types #109

phadej added a commit that referenced this pull request Aug 22, 2015

@phadej phadej merged commit bd96672 into master Aug 22, 2015

1 check passed

continuous-integration/travis-ci/pr The Travis CI build passed
Details

@phadej phadej deleted the rec branch Aug 22, 2015

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