"No Foul Play" Describing State with Dependently Typed FSMs


Alexander Gerasimov photo

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