Articles avec le mot-clé «idris»

自当安蹇劣

Publié le par v dans «misc». Mots-clés: haskell, idris, hott, type-theory, distributed-systems

Time for some acknowledgements. First and foremost, I thank Mr. Xie for the interview and various discussions. I thank Mr. Bai for job recommendation. I thank Ms. Chen for the PS. I thank Mr. Han for job recommendation. I thank Mr. Hou for the post which gave me the first …


Lire la suite...