Skip to content

Combine lhs and mhs in TTP#110

Open
alexeyr wants to merge 4 commits into
TiarkRompf:develop-1.0.xfrom
scalan:refactor-ttp
Open

Combine lhs and mhs in TTP#110
alexeyr wants to merge 4 commits into
TiarkRompf:develop-1.0.xfrom
scalan:refactor-ttp

Conversation

@alexeyr

@alexeyr alexeyr commented Jan 18, 2016

Copy link
Copy Markdown
Contributor

No description provided.

@alexeyr

alexeyr commented Jan 18, 2016

Copy link
Copy Markdown
Contributor Author

Don't merge yet: depends on #104 and requires update to use Typ.

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.

1 participant