• Indexed Information
  • Rank876
  • Users41
  • Last Indexed3 hours ago
Channel Topic
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

Channel Users for #agda

Channel user setting for #agda is not currently enabled