 | Agda Club | 41 Members |
| Welcome to Oxford's Agda Club | Next meeting: Wed 6th May 16:00 GMT+1 | Protips: set notifications to "Mentions only" to reduce spam; use Riot in your web browser, or download RiotX on your phone | 5 Servers |
| Agda Club | 41 Members |
| Welcome to Oxford's Agda Club | Next meeting: Wed 6th May 16:00 GMT+1 | Protips: set notifications to "Mentions only" to reduce spam; use Riot in your web browser, or download RiotX on your phone | 5 Servers |
| Server | Number of Users in this Room |
|---|---|
 matrix.org | 37 |
 envs.net | 1 |
 techsaviours.org | 1 |
 wuatek.is | 1 |
 xsnow.live | 1 |