Dies ist ein kleiner Bericht über den Chatraum #agda, einem IRC Channel im Netz Libera.Chat. Sofern der IRC Channel bereits etwas länger registriert ist und von seinen Administratoren nicht als privat oder sogar als geheim gekennzeichnet wurde, enthält der Bericht die Besucherzahlen und Chat-Themen der letzten Tage und Wochen.
| Verwandte Suchbegriffe: | programming (152) perl (67) vortex (2) coders (30) |
Der Chatraum #agda vom IRC-Netz Libera.Chat wurde am 2021-05-20 registriert und der Kategorie Agda Chaträume zugeordnet. Die Registrierung des Chatraums erfolgte aufgrund hoher Besucherzahlen.
| bis, von | Thema |
|---|---|
| 2024-11-25, 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-25 |
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 |