497
members
73
online
0
boosts
Sep 28, 2023
created
Mar 30, 2026
added to disdex
Sep 02, 2026
last checked
members + online
not enough history yet — points appear as we scrape
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…
70d ago