On 04/01/2017 02:53 PM, Marko Schütz-Schmuck wrote:
I noticed the user of the policy keyword, but was unable to find any documentation on it. Is it documented somewhere?
Only in this paper: http://adam.chlipala.net/papers/UrFlowOSDI10/ and this demo: http://www.impredicative.com/ur/scdv/ (It's not a production-quality feature.) _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
