http://pfpmd7dd5ijt4add2sfi4djsaij4u3ebvnwvyvuj6aeipe2f5llptkid.onion/ui3/pr/023a8623a27042228f6b721cd7892454
И вспомнил, почему я дропнул свой язык. @ 6e81a 61e8e484223a2f9958ef97d45d7 Anonymous 2021-05-13 09:24:59 Может, у тебя получится. @ 61a74 c6e862b46d6a05fa5ac79f26dfe Anonymous 2021-05-19 07:06:00 В Idris есть Named Implementations: [myord] Ord Nat where
compare Z (S n) = GT
compare (S n) Z = LT
compare Z Z = EQ
compare (S x) (S y) = compare @{myord} x y
*named_impl> show (sort testList)
"[sO, sssO, ssssO]" :...