Mentions légales du service

Skip to content

Pretty printer

MARTINOT Olivier requested to merge omartino/inferno:pretty-printer into master

The pretty printer for System F keeps trace of the “levels” implicitly. Inspired by this blog article (cc @gasche)

Merge request reports