asked some questions about syntactic versions of compose/apply/diff
asked some questions about syntactic versions of compose/apply/diff

Old-commit-hash: 946e948c40de1d7fdcfb2b08e6a350f9f4c7d259

inc-lc/ilc-agda