Revision history for proof-assistant-bot

0.2.2 -- 2024-02-07

• Support GHC 9.4 (see #43).
• Also various dependencies versions bumps:
  • base-4.17
  • Agda-2.6.4
  • mtl-2.3.1
  • rzk-0.7
  • telegram-bot-simple-0.13

0.2.1 -- 2023-02-07

• Agda bumped to 2.6.3, telegram-bot-simple bumped to 0.9 (see #29).

0.2.0 -- 2022-12-10

• Import Agda primitives for every /(re)load (see #21);
• Increase timeout for Agda to 60s (see #20);
• Fix replies in topics (see #17, #18, #19);
• Rzk support (see #15);
• Arend support (see #13, #14);
• Lean 3 support (see #10, #11, #12);
• Set default timeout for CLI to 5s (see #9);
• Idris 2 support (see #7, #8);
• Increase allocation limit for Agda (see #3);
• Add maintenance scripts for proof-assistant-bot executable (see #1);

0.1.0 -- 2022-12-03 (not yet released on Hackage)

• First version. Released on an unsuspecting world.