3 ms·

Yeah, there is: https://www.edx.org/xseries/systematic-program-design-0 https://www.edx.org/xseries/systematic-program-design-0 It uses the functional approach

by macco 11y ago

Yeah, there is: https://www.edx.org/xseries/systematic-program-design-0 https://www.edx.org/xseries/systematic-program-design-0 It uses the functional approach, that also Felleisen uses.