I've often thought that formal methods would be super handy on the front-end, and likewise, I've also thought that formal methods folks could also learn a ton from UI folks. Great to see some work done towards bridging the gap!
Quote Tweet
Formal reasoning about states / behavior provides insane leverage for designing products.
It shouldn't be reserved only for expert symbol manipulators.
So @ryanlucas, @wootbeep, and I made an interactive playground + tutorial series: sketch.systems.
Show this thread