Programming Language Foundations in Agda(plfa.inf.ed.ac.uk)2 ポイント·投稿者 amir·10 か月前·0 コメントplfa.inf.ed.ac.ukProgramming Language Foundations in Agdahttps://plfa.inf.ed.ac.uk/0 コメントコメントを投稿—