programming-contests

CP Editor has a thriving community of many users including English, Chinese, Russian and we are constantly adding new language.

However, the developers don't know every language, and the translators don't always have time, so we need your help in translating.

You can read the contributing guidelines on how to upda

Code one that runs in proportion to R instead of R and N (i.e. N should be able to be arbitrarily large)

See cpinitiative/usaco-guide#1087

When icpc/ccs-specs#38 is merged, we no longer need the scoreboard.tsv export. We can replace it with something that internally gets the scoreboard API endpoint and downloads it as JSON.

...so admins know which issues still need to be addressed

We sometimes want to run tests which are not associated to specific problems (e.g. generating inputs using srand() and rand(), and check the output with assert()). For this, we can use Hello World as a dummy problem.
However, this technique is not trivial, so we should print hint messages when test files with no PROBLEM

古い書き方だと rewrite rule は構文木を手動で丁寧に組み換えて書いていたのですが、#133 でもっと簡単に書けるようになりました。

旧:

simpleRewriteRule $ \case
  Map' t1 t2 f (Reversed' _ xs) -> return' $ Reversed' t2 (Map' t1 t2 f xs)
  _ -> Nothing

新:

[r| "map/reversed" forall f xs. map f (reversed xs) = reversed (map f xs) |]

古い書き方だと (Jikka の本体の) コンパイル時にその rewrite rule が正しいか検査されなくてバグりがちなのですが、新しい書き方だと