Andrew on Nostr: Curator of Mastodon.art fediblock :newt: Scathach looks like they've already fixed ...
Curator of Mastodon.art fediblock :newt: (npub1wc2…4sk7) Scathach (npub1lc8…92pf) looks like they've already fixed some of these issues with agda
and these minor details still make it bad for teaching, for example (confusion matters)
I also can't help but wonder why they decided to keep and introduce such quirks if not to ward off those who reasonably care about there details
anyway, I'm only willing to consider haskell as compilation target — just like javascript or x86 assembly, nobody should write it directly by hand
Published at
2024-02-03 12:33:04Event JSON
{
"id": "dc341477125c74682c378776a0bd79c0a1050018b47d3e90f4a7d2283a637dd9",
"pubkey": "fd44ebd34b86013062243daa7efa1e94002246dd0c5eb9579dbea2c8ce9208c9",
"created_at": 1706963584,
"kind": 1,
"tags": [
[
"p",
"7615614e4ed5bed70847ce5a32852a79ddde9dce8a650059f31546d61c1ad441",
"wss://relay.mostr.pub"
],
[
"p",
"fe0e47aae1904586530e886b769fecc0a12fc476c4d30d22dc2be04c8d494693",
"wss://relay.mostr.pub"
],
[
"e",
"2f5883288a4f6b263c5fef0ff548a404579a209ef90dcce6242dc1904aefb49e",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://stereophonic.space/objects/13dd7b88-ee31-46fb-8c97-7a5cae643f6d",
"activitypub"
]
],
"content": "nostr:npub1wc2kznjw6kldwzz8eedr9pf208waa8ww3fjsqk0nz4rdv8q663qswt4sk7 nostr:npub1lc8y02hpjpzcv5cw3p4hd8lvczsjl3rkcnfs6gku90syer2fg6fslg92pf looks like they've already fixed some of these issues with agda\nand these minor details still make it bad for teaching, for example (confusion matters)\nI also can't help but wonder why they decided to keep and introduce such quirks if not to ward off those who reasonably care about there details\nanyway, I'm only willing to consider haskell as compilation target — just like javascript or x86 assembly, nobody should write it directly by hand",
"sig": "00cb7c0d2518cd794758c08ec9966e3ea65cfcb514464ee59c9376468df10e65c442604681d9bb08064e5e94550828dffdc45d8a764e37b749dce651ca4e5574"
}
