Revision history for proof-assistant-bot

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.