Join server
discord.gg/dnXzHRkJww
549
members
65
online
0
boosts
Sep 28, 2023
created
Mar 30, 2026
added to disdex
Nov 02, 2026
last checked
members + online
membersonline
5684262841420Oct 03Oct 25Nov 02
games (0)
no games associated with this server
invites (2)
| Code | Inviter | Status |
|---|---|---|
| SGbJHxH8KY | @sandwichman. | alive |
| dnXzHRkJww | @groggroggrog | alive |
history (1)
description
(initial)→TypeSig is a student-run special interest group for semantics, programming langu…
117d ago