minor fix: corrected the syntax in one of the comments explaining how the desugaring works.
ICFP review implementation
Implemented (most of) the ICFP logic programming code using effect
handlers.