Channel Information
- Channel
- #agda
- Server
- irc.libera.chat:6697
- Network
- Libera
- Current Users
- 51
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | 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
Show raw topic
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | 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
Seen on servers
Statistics Graph
No channels found.
Statistics History
|
Date
|
Users
|
Topic |
|---|---|---|
| 2026-11-06 | 51 |
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | 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
|
| 2026-11-05 | 51 |
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | 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
|
| 2026-11-04 | 52 |
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | 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
|
| 2026-11-03 | 49 |
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | 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
|
| 2026-11-02 | 52 |
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | 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
|
| 2026-11-01 | 51 |
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | 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
|
| 2026-10-31 | 51 |
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | 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
|
| 2026-10-30 | 51 |
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | 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
|
| 2026-10-27 | 49 |
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | 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
|
| 2026-10-26 | 49 |
Asked a question? Stay online for an answer! | https://agda.zulipchat.com | https://wiki.portal.chalmers.se/agda | https://agda.readthedocs.io | https://agda.github.io/agda-stdlib | https://agdapad.quasicoherent.io/~Padova2025 | 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
|
No channels found.