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.