Alexander Pavlenko

https://myroslambda.wordpress.com/

@keera-studios L'viv, Ukraine I like dependent types, agda and compilers. I did websites in PHP as a teenager. I haven't found the cure yet.