Open prathyvsh opened 3 years ago
http://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html
Parigot encoding: https://link.springer.com/content/pdf/10.1007/3-540-19027-9_10.pdf
http://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html