Translator of a functional language to interaction nets (Inpla notation)
Primary LanguageCMIT LicenseMIT