kakkun61 on Nostr: 普通にこれだけで再現した #AustralLang ``` module body Main is generic [R: ...
普通にこれだけで再現した #AustralLang
```
module body Main is
generic [R: Region]
function foo(a: &[Unit, R]): Unit is
return foo(a);
end;
end module body.
```
Published at
2024-08-09 06:44:20Event JSON
{
"id": "953131e25030e0051c1de135b77403f680280d91732cc2e686225bbdd1e34c8a",
"pubkey": "b0772dc63dd3d44c14e212702043893e83fb535580471cde45d821eec4330025",
"created_at": 1723185860,
"kind": 1,
"tags": [
[
"e",
"7c1c71750358101d25a2af15d9cb7525896751a7aec32a69b77fbae8b752a362",
"wss://relay.mostr.pub",
"reply"
],
[
"t",
"australlang"
],
[
"proxy",
"https://pawoo.net/users/kakkun61/statuses/112930708570038370",
"activitypub"
]
],
"content": "普通にこれだけで再現した #AustralLang \n```\nmodule body Main is\n generic [R: Region]\n function foo(a: \u0026[Unit, R]): Unit is\n return foo(a);\n end;\nend module body.\n```",
"sig": "31d3208dccfb575e6e73d2865c032afd6cbbc30349a838bdfef2e352a45bd3bcd463c763d4dd61514ecea77171a987004ab360b07d46d7a5db706d13230553b5"
}