issues
search
iblech
/
agdapad
Agda as a collaborative multiplayer game
30
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Allow user to kill instance
#2
deliciouslytyped
opened
7 months ago
1
cannot send control-n nor control-t so cannot play HoTT game
#1
rudi-cilibrasi
opened
1 year ago
0