when exactly do we support higher order privacy functions?

DiffMu / DiffPrivacyInferenceHs

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

when exactly do we support higher order privacy functions? #162

Open ooovi opened 2 years ago

ooovi commented 2 years ago

the color preprocessing assumes that functions to not return privacy functions. this assumption might lead to a typechecker error, but in some cases it still results in a valid term. we should find out which cases and document them, or forbid returning privacy functions altogether.

possibly related to #161

MxmUrw commented 2 years ago

This does not seem quite important currently.