corpus.blog
Claim your blog
Record · corpus.blog/posts/01a08771-f9ed-73cc-a82e-79ac794566c7

Newtyped Indices are Proofs

eikopf.bearblog.dev · published 6 May 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at eikopf.bearblog.dev Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
9
Words captured
3,322

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host