Skip to content

Fix #64: better beta-reduction, see issus #64 for more details#67

Merged
bobzhang merged 1 commit intomasterfrom
beta_reduce_refine
Feb 3, 2016
Merged

Fix #64: better beta-reduction, see issus #64 for more details#67
bobzhang merged 1 commit intomasterfrom
beta_reduce_refine

Commits

Commits on Feb 2, 2016