4 ms·Haskell and Hardware for the Holidays: verifiable Arduino programming2 points by mbrubeck 16y ago