酒窖里的 Lisp:楼上住着的依赖类型 [pdf]
The Lisp in the Cellar: Dependent types that live upstairs [pdf]

原始链接: https://zenodo.org/records/15424968/files/deputy-els.pdf

这看起来像是一个PDF文件的二进制数据,无法翻译成可读的中文。 它是一串无法解读的字符。


原文
%PDF-1.7 %ÐÔÅØ 1 0 obj > stream xÚmUMoâ0½çWx•ÚÅNÈW…œ„H¶­ Zí•&¦‹Tàп~3Ú®ö z¿™yóœ87?ž×Ûö¯nÝkõâNýehܤü¹=77Uß\®;?:׺vÜ==¨ç¡oÖî¬nËUµêöç;O^uÍû¥u#ëÿ¤Â½í»O ú¨Ûû=٘‰a³?¿ûkLy 6FÑæ/7œö}÷ Ì½Öږ][öH`´öØ2ãš™$`¤TY'`”(ZqŠÇÁ¼BJŌ )KÒ̌%553
联系我们 contact @ memedata.com