document the two functions to do the actual checking

DiffMu / DiffPrivacyInferenceHs

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

0 stars 0 forks source link

Closed ooovi closed 2 years ago

ooovi commented 2 years ago

maybe rename typecheck_hs_from_string to typecheck_from_string or even infer_differential_privacy while at it