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?
Published at
2024-07-24 10:51:02Event JSON
{
"id": "0c15786f91fb835cad7af72d74da9ccf723b74df5c0686abf70c39d0e5769102",
"pubkey": "45bb41041d622779cd9db704b7d74a3885835cd31d98199481fbea3da703fa5d",
"created_at": 1721818262,
"kind": 1,
"tags": [
[
"proxy",
"https://social.treehouse.systems/users/dysfun/statuses/112841081620587083",
"activitypub"
]
],
"content": "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?",
"sig": "8b23f5bdf383eb5083df7fa21fbe3f794c0e7e2c937d48e54f9c9e5d641cf3c2b222d3e1e1e2969a9821e1a63b28e60a3f640dea043fb4606fe312f55911f46f"
}