AndrasKovacs / system-f-omegaLinks

System F-omega normalization by hereditary substitution in Agda
59Updated 5 years ago

Alternatives and similar repositories for system-f-omega

Users that are interested in system-f-omega are comparing it to the libraries listed below

Sorting: