Mentions légales du service

Skip to content

New System F constructs

MARTINOT Olivier requested to merge omartino/inferno:new-f-constructs into master

Add new System F constructs (variants, records, pattern-matching) with corresponding printer and type checker modifications. (cc @gasche)

Edited by MARTINOT Olivier

Merge request reports