hakaru
hakaru copied to clipboard
Fix `substs`
The previous (now commented out) implementation of substs
is buggy. The current implementation calls subst
repeatedly to perform the multiple substitution; this is correct, but extremely inefficient.
@pravnar I believe you've done work on subst -- is this still a 'live' issue?