The GoPi compiler transforms high level processes featuring linear and secret channels in executable Go programs.
