DPDmancul
- Karma
- 9
- Created
- 1 year ago
Recent Submissions
- 1. ▲ "A monad is a monoid in the category of endofunctors" But what does that mean? [video] (youtube.com)
- 2. ▲ PHP and TypeScript Types Comparison (gitlab.com)
- 3. ▲ Understanding Type Theory Eliminators (zenodo.org)
- 4. ▲ Regard Time Machines [pdf] (philpapers.org)