Alexander Chichigin
@GabrielFallen
Functional-first programmer, formal methods enthusiast, PLT scholar :)
If you have Telegram, you can contact
Alexander right away.