Terminal: properly draw bottom lines in getInputLine2025-03-23T12:44:02+00:00Roman Smržroman.smrz@seznam.cz2025-03-23T12:44:02+00:00f45e82a67bc0343b42373599cd957a88c7515f26
Replace putStr(Ln) calls in CLI commands with printLine2025-03-22T21:35:02+00:00Roman Smržroman.smrz@seznam.cz2025-03-22T21:35:02+00:008ae3d5511e23cb5dd5c68242834c0e2f122e7b3a
Avoid duplicating newline for terminal output2025-03-22T20:44:14+00:00Roman Smržroman.smrz@seznam.cz2025-03-22T20:44:14+00:00e7ce636f05079ee21302ba9d53a8a672ba58e03c
Replace remaining getLine usage with getInputLine2025-03-22T19:27:18+00:00Roman Smržroman.smrz@seznam.cz2025-03-22T19:27:18+00:00d9436e29a827822d0fe5c093283c57955cebe386
Adapt interactive identity updates for Terminal2025-03-22T19:06:47+00:00Roman Smržroman.smrz@seznam.cz2025-03-22T19:06:47+00:00d7666d78cea8500b18ef399cd0fd640551e9dde0
Generic type for MonadError constraints2025-03-21T19:15:21+00:00Roman Smržroman.smrz@seznam.cz2025-03-11T19:22:33+00:0083d291f476a9793012a7aabb27c3cf59c7bdea05
Changelog: API: MonadError constraints use generic error type
Changelog: API: MonadError constraints use generic error type
Deleting chatrooms2025-03-20T19:46:53+00:00Roman Smržroman.smrz@seznam.cz2025-03-08T20:09:22+00:008ddd1311f5988d68cacf0c528e8fe7dc9faa9e6f
Changelog: Added `/delete` command to delete chatrooms for current user
Changelog: Added `/delete` command to delete chatrooms for current user