What is Nostr?
Taneb /
npub1fqy…wsqn
2024-09-20 20:32:13

Taneb on Nostr: Considering whether to go to the next Agda Implementor's Meeting. Göteborg is a bit ...

Considering whether to go to the next Agda Implementor's Meeting. Göteborg is a bit of a pain to get to from here.
Author Public Key
npub1fqyej9ay34zmglju55rrcyfkv0lpnenwrw4nwec49y28tf7fmw0qu3wsqn