GitHub repository: rubenpieters/sys-polyflow
Primary language: Agda
Created: 2019-06-07T07:39:12Z
Description: calculus with polymorphism and flow-sensitive if-statements