1. 4
    Programming Language Foundations in Agda plt plfa.github.io
    gluegadget avatar via gluegadget 7 days ago | cached | no comments

  1.