If you need any help with agda, just ask. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		solomatov on July 21, 2014 \| parent \| context \| favorite \| on: Equational reasoning at scale If you need any help with agda, just ask.

Gabriel439 on July 21, 2014 [–]

How do I contact you? Can I find you on the #agda channel on IRC?

solomatov on July 21, 2014 | [–]

You can contact me via konstantin dot solomatov at google mail. I visit #agda channel from time to time.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact