Follow the Trail! Visualising Bi-Directional Type-Checking as Network Communication. Posted on 2022-06-08idris dependent-types asg protocols bidi