YoshikuniJujo on Nostr: 定義はこんな感じ list n c = \case [] -> n; x : xs -> c x xs
定義はこんな感じ
list n c = \case [] -> n; x : xs -> c x xs
Published at
2024-09-24 01:31:59Event JSON
{
"id": "68404ebdd8d80d6edc1c0649f671368bbb892e8f0a4edf45ff87aa802c1e2f31",
"pubkey": "ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758",
"created_at": 1727141519,
"kind": 1,
"tags": [
[
"e",
"8242dc616bcc9487d472ef0653c38a1c837ec78e24a2f977bee670eea7751dc9",
"",
"root"
],
[
"p",
"ef89ee45550f7377284d31e49fc57e5732ffc2b95a7bf35d0f1291d6fa278758"
]
],
"content": "定義はこんな感じ\n\nlist n c = \\case [] -\u003e n; x : xs -\u003e c x xs",
"sig": "61b81bf4213a54700e1bf8da54eab8ae5de7ebac82429dbfa73822776b0e49427a161125e39031ab48285fec2ffe6c1d5af58e2350ffc5ddcc7a12004a875b48"
}