Sitnikovski B. Gentle Introduction to Dependent Types.Idris 2022
Other/Document
DHT
introduction
sitnikovski
dependent
gentle
types
idris
2022
1
Seeders
3
Leechers
2.47 MB
Size
1
Files
Torrent Information
Details
Total Size
2.47 MB
Active Seeds
1
Total Peers
3
Downloads
0
Global Parameters
Added on
4/14/2026
Last Activity
4/14/2026
Health Status
Poor
Identification Hash
540665DB836C72E339E334F6C9167A28DB30E84B
Community Trust & Feedback
Reputation Score
100%
Positive Rating
Verified
0 Likes
0 Dislikes
Visibility
High Ranking Content
Files (1)
Sitnikovski B. Gentle Introduction to Dependent Types with Idris 2022.pdf
Sitnikovski B. Gentle Introduction to Dependent Types with Idris 2022.pdf
2.47 MB
Trackers (12)
DHT
0
1
udp://bittorrent-tracker.e-n-c-r-y-p-t.net:1337/announce
0
0
udp://evan.im:6969/announce
0
0
udp://martin-gebhardt.eu:25/announce
0
0
udp://open.stealth.si:80/announce
0
1
udp://tracker.bittor.pw:1337/announce
0
0
udp://tracker.ddunlimited.net:6969/announce
0
0
udp://tracker.dler.org:6969/announce
0
0
udp://tracker.opentrackr.org:1337/announce
0
2
udp://tracker.srv00.com:6969/announce
0
0
udp://tracker.torrent.eu.org:451/announce
0
3
udp://tracker.tryhackx.org:6969/announce
0
0
Similar Torrents 15
Based on tags and category