4 ms·
If you need any help with agda, just ask.
by solomatov 12y ago
If you need any help with agda, just ask.
- Gabriel439 12y agoHow 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.