Programming Language Foundations in Agda(plfa.inf.ed.ac.uk)2 points·by amir·قبل 10 أشهر·0 commentsplfa.inf.ed.ac.ukProgramming Language Foundations in Agdahttps://plfa.inf.ed.ac.uk/0 commentsPost comment—