Why Nostr? What is Njump?
2024-09-07 22:00:13
in reply to

MercurialBlack on Nostr: moving to @nyanide@lab.nyanide.com well no wonder Have you defined integers as a pair ...

well no wonder
Have you defined integers as a pair of a nontransfinite ordinal and an element of a domain with two elements yet?
Author Public Key
npub1007nmq8hj2v9zfudpvpv65q8gtcl8kgyetlkpgh0mmu34q28yges7vevsv