Name Sitnikovski B. Gentle Introduction to Dependent Types.Idris 2022
File Type document
Size 2.47MB
UpdateDate 2024-8-26
hash *****5DB836C72E339E334F6C9167A28DB30E84
Hot 2
Files Sitnikovski B. Gentle Introduction to Dependent Types with Idris 2022.pdf | 2.47MB