Toot

Written by Naïm Camille Favier on 2025-01-30 at 09:28

@sjoerd_visscher @julesh @zanzi @Andrev What the paper calls PStore:

data IxStore a b t = IxStore a (b → t)

=> More informations about this toot | View the thread | More toots from ncf@types.pl

Mentions

=> View sjoerd_visscher@types.pl profile | View julesh@mathstodon.xyz profile | View zanzi@mathstodon.xyz profile | View Andrev@types.pl profile

Tags

Proxy Information
Original URL
gemini://mastogem.picasoft.net/toot/113916597095309732
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
223.014123 milliseconds
Gemini-to-HTML Time
0.567177 milliseconds

This content has been proxied by September (3851b).