HN Explorer

DPDmancul

↗ HN profile [ 35.8 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. "A monad is a monoid in the category of endofunctors" But what does that mean? [video] (youtube.com)
    1 points 0
  2. PHP and TypeScript Types Comparison (gitlab.com)
    2 points 0
  3. Understanding Type Theory Eliminators (zenodo.org)
    2 points 1
  4. Regard Time Machines [pdf] (philpapers.org)
    3 points 2