1. 5
    Understanding typing judgments compsci derekelkins.github.io
    data_hope avatar via data_hope 2 years ago | cached | 1 comment

  1.  

  2. 1
    th5 avatar th5 2 years ago | link

    Great post! This isn’t explained well/often enough.