Ende-readme icon indicating copy to clipboard operation
Ende-readme copied to clipboard

Published 20 hours ago • verified publisher icon AndyShiue

Closures

Open AndyShiue opened this issue 7 years ago • 0 comments

‎The paper about rig by Conor McBride seems to be the right way to implement it.

AndyShiue avatar Oct 02 '16 10:10 AndyShiue