What is Nostr?
extreme organic gay /
npub1gka…0w52
2024-07-24 10:51:02

extreme organic gay on Nostr: so, idris and agda people. have i missed something about `parameters` blocks? it ...

so, idris and agda people. have i missed something about `parameters` blocks? it seems that because of the way parameters are automatically passed to functions within the block that there's no way to override them?
Author Public Key
npub1gka5zpqavgnhnnvakuzt04628zzcxhxnrkvpn9ypl04rmfcrlfwsg50w52