Toot

Written by Sjoerd Visscher on 2025-01-27 at 14:57

@julesh @zanzi So are you looking for something of type LensLike f (s, t -> s') (t, t') (a, b -> a') (b, b')?

What makes you interested in the van Laarhoven encoding?

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

Mentions

=> View julesh@mathstodon.xyz profile | View zanzi@mathstodon.xyz profile

Tags

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

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