Programming Language Foundations in Agda(plfa.inf.ed.ac.uk)2 points·by amir·il y a 10 mois·0 commentsplfa.inf.ed.ac.ukProgramming Language Foundations in Agdahttps://plfa.inf.ed.ac.uk/0 commentsPost comment—