MaximilianAlgehed / SimpleNoninterferenceFromParametricity

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About


Languages

Language:Agda 88.7%Language:Haskell 11.3%