Comentr
$vCDxGCgPTw
log in
sign up
Technology
Join this community
Share Community
Report Community
11
Report
In Further Praise of Dependent Types
4 years ago
Anonymous
$pSba0tWIcA
https://golem.ph.utexas.edu/category/2020/05/in_further_praise_of_dependent.html
×
Save changes
Cancel
0
Comments
11
Voters
11
Sorted By
Newest
Newest
Oldest
why_of_fry
Associated IPs
90
Last Seen
39 minutes ago
Reputation
0
Spam
0.000
plugmeout
Associated IPs
90
Last Seen
about an hour ago
Reputation
0
Spam
0.000
998877
Associated IPs
90
Last Seen
18 minutes ago
Reputation
0
Spam
0.000
vorbis.chan
Associated IPs
89
Last Seen
about an hour ago
Reputation
0
Spam
0.000
wilfarel
Associated IPs
90
Last Seen
about an hour ago
Reputation
0
Spam
0.000
msexcel95
Associated IPs
89
Last Seen
a minute ago
Reputation
0
Spam
0.000
guyina40suit
Associated IPs
90
Last Seen
20 minutes ago
Reputation
0
Spam
0.000
sum42
Associated IPs
90
Last Seen
3 hours ago
Reputation
0
Spam
0.000
hugegrant
Associated IPs
89
Last Seen
5 minutes ago
Reputation
0
Spam
0.000
timmy-brown
Associated IPs
90
Last Seen
22 minutes ago
Reputation
0
Spam
0.000
placeanadd
Associated IPs
90
Last Seen
58 minutes ago
Reputation
0
Spam
0.000
