Torrent details for "Sitnikovski B Introduction to Dependent Types with Idris 2023 an…" Log in to bookmark
Controls:
Category:
Language:
English
Total Size:
6.1 MB
Info Hash:
4DE07A819AF28708D03BC206122A6906A63FD5F9
Added By:
Added:
July 1, 2023, 11:19 p.m.
Stats:
| Update
| File | Size |
|---|
Thanks for rating :
zuluDROOG (3), jhp2025 (5), KingRagnar (5), PeakBadass (5), TWDGOTfan (5), LokiGOAT (5),
zuluDROOG (3), jhp2025 (5), KingRagnar (5), PeakBadass (5), TWDGOTfan (5), LokiGOAT (5),
Name
DL
Uploader
Size
S/L
Added
NOTE
SOURCE: Sitnikovski B Introduction to Dependent Types with Idris 2023 andryold1
-----------------------------------------------------------------------------------
COVER
-----------------------------------------------------------------------------------
MEDIAINFO
None
