/sys-polyflow

calculus with polymorphism and flow-sensitive if-statements

Primary LanguageAgda

Watchers