This is a small report about chat room #agda, a so called IRC channel on network Libera.Chat. This report usually includes user statistics and chat topics of the last days and weeks, if the IRC channel was already registered and its administrators didn't set its channel modes to private or secret.
Chat room #agda on IRC network Libera.Chat was registered at 2021-05-20 and assigned to category Agda Chat Rooms. Registration of this chat room was based on a large attendance.
| to, from | topic |
|---|---|
| 2024-11-29, 2024-08-23 |
Comment your Agda | https://github.com/agda/agda | https://wiki.portal.chalmers.se/agda | https://lists.chalmers.se/mailman/listinfo/agda | https://agda.zulipchat.com | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://plfa.github.io | https://github.com/pigworker/CS410-18 | https://www.cs.nott.ac.uk/~psztxa/g53cfr | https://tinyurl.com/sywtltt | https://1lab.dev |
| 2024-08-22, 2024-06-04 |
Comment your Agda. | https://github.com/agda/agda#agda-2 | https://wiki.portal.chalmers.se/agda | https://lists.chalmers.se/mailman/listinfo/agda | https://agda.zulipchat.com | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://plfa.github.io | https://github.com/pigworker/CS410-18 | https://www.cs.nott.ac.uk/~psztxa/g53cfr | https://1lab.dev |
| 2024-06-03, 2024-05-25 |
Comment your Agda. | https://github.com/agda/agda#agda-2 | https://wiki.portal.chalmers.se/agda | https://lists.chalmers.se/mailman/listinfo/agda | https://agda.zulipchat.com | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://plfa.github.io | https://github.com/pigworker/CS410-18 | https://www.cs.nott.ac.uk/~psztxa/g53cfr |
| 2024-05-24, 2024-05-23 |
Please comment your Agda. | https://github.com/agda/agda#agda-2 | https://wiki.portal.chalmers.se/agda | https://lists.chalmers.se/mailman/listinfo/agda | https://agda.zulipchat.com | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://plfa.github.io | https://github.com/pigworker/CS410-18 | https://www.cs.nott.ac.uk/~psztxa/g53cfr |
| 2024-05-22, 2024-05-20 |
/‼︎ /≡ | https://github.com/agda/agda#agda-2 | https://wiki.portal.chalmers.se/agda | https://lists.chalmers.se/mailman/listinfo/agda | https://agda.zulipchat.com | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://plfa.github.io | https://github.com/pigworker/CS410-18 | https://www.cs.nott.ac.uk/~psztxa/g53cfr |
| 2024-05-19, 2022-11-29 |
Questions? Share your work as a self-contained gist and wait for an answer. | http://gist.github.com | http://agda.readthedocs.io | http://agda.github.io/agda-stdlib | http://wiki.portal.chalmers.se/agda | http://lists.chalmers.se/mailman/listinfo/agda | http://github.com/pigworker/CS410-18 | http://plfa.github.io | http://www.cs.nott.ac.uk/~psztxa/g53cfr/ | http://github.com/agda |