Giters

yoohaemin / decrel

Composable relations for Scala

Home Page:https://decrel.yoohaemin.com

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Reuse evidences when possible

yoohaemin opened this issue · comments

commented

For example, ZippedEv doesn't have to be looked up 2 times