Hacker News new | ask | show | jobs
user: DPDmancul
created: 2025-06-19
karma: 2

submissions:

0 points | 0 comments
Understanding Type Theory Eliminators
2 points | 1 comments
0 points | 0 comments
Regard Time Machines [pdf]
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments