Here you go: https://danielbmarkham.com/outlines-of-a-supercompiler-in-f/

Example implementations are also available for deeper inspection on GitHub. See link in article.