Ancestors

Toot

Written by Boyd Stephen Smith Jr. on 2024-12-08 at 04:01

The thing about using a dependently typed language is that I am constantly being "nerd-sniped" with trying to manipulate proofs / relations, when I really should just be reporting and handling failure.

=> More informations about this toot | More toots from BoydStephenSmithJr@hachyderm.io

Descendants

Proxy Information
Original URL
gemini://mastogem.picasoft.net/thread/113615206944058652
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
234.41972 milliseconds
Gemini-to-HTML Time
0.273286 milliseconds

This content has been proxied by September (ba2dc).