• Indexed Information
  • Rank822
  • Users44
  • Last Indexed36 minutes 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 Description