"No Foul Play" Describing State with Dependently Typed FSMs
EN
Alexander Gerasimov
Berlin, Germany
Alex is employed as a front-end engineer at Wix.com, earning just enough to sustain his functional programming addiction.
In his spare time he teaches programming and creates educational games with his hacker friends.
Twitter: @da_quirm