Isweet/graduality-and-parametricity

A Redex model of http://www.ccs.neu.edu/home/amal/papers/gradparam.pdf

This repository is not active