cakeml
cakeml copied to clipboard
computeLib performance
I have a hunch that for the special case we care about - evaluating monomorphic functions which are extractable to ML on ground arguments - we can do significantly better than the general case. I'll either update this with more details or close it after I've had a chance to write and test a proof of concept.