Comentr
$xV4EJYNn7A
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
×
Comment
Comment Anonymously
0
Sorted By
Controversy
Score
Confidence
Controversy
Best Rated
Worst Rated
Newest
Oldest
Most Upvoted
Most Downvoted
80
Per Page
80
160
240
×
Reply
Reply Anonymously
Cancel
×
Save changes
Cancel