In which we turn privacy violations into compile-time errors in a simple imperative language embedded in Haskell and enforce it in style using GADTs.
Read in full here:
This thread was posted by one of our members via one of our news source trackers.