FranchuFranchu/inet-hoas

HOAS representation for reduced polarized symmetric interaction combinator nets