Open AndyShiue opened 8 years ago
The paper about rig by Conor McBride seems to be the right way to implement it.
The paper about rig by Conor McBride seems to be the right way to implement it.