Nikita Yurchenko

• Github
• nic.yurchenko@gmail.com
• Blog
• CV
• Agda stuff
• Updates