Telegram timer bot
Build with stack, and create a tgtok file with a bot token in working direction.
The command:
/timer <minutes>
The minutes must be within a day. You can set at most 4096 timers.
The timers won't be written to disk. All timers will be lost when bot restarts.