Magnetic link has been copied to the cutting board

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

Recommend

Magnetic link has been copied to the cutting board