Comment by 3lambda
8 hours ago
Funny seeing you here--I'm in 590 with Max and Eric. I saw Agda and guessed it was someone from the group :)
8 hours ago
Funny seeing you here--I'm in 590 with Max and Eric. I saw Agda and guessed it was someone from the group :)
No comments yet
Contribute on Hacker News ↗