4 ms·
How do I contact you? Can I find you on the #agda channel on IRC?
by Gabriel439 12y ago
How do I contact you? Can I find you on the #agda channel on IRC?
- solomatov 12y agoYou can contact me via konstantin dot solomatov at google mail. I visit #agda channel from time to time.