Add example of proving memoization by parametricity#160

garrigue wants to merge 1 commit into

masteraffeldt-aist/monae:masterfrom

memoizeaffeldt-aist/monae:memoizeCopy head branch name to clipboard