content: -- Copyright (c) 2014 Contributors as noted in the AUTHORS file
  --
  -- This program is free software: you can redistribute it and/or modify
  -- it under the terms of the GNU General Public License as published by
  -- the Free Software Foundation, either version 3 of the License, or
  -- (at your option) any later version.
  --
  -- This program is distributed in the hope that it will be useful,
  -- but WITHOUT ANY WARRANTY; without even the implied warranty of
  -- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  -- GNU General Public License for more details.
  --
  -- You should have received a copy of the GNU General Public License
  -- along with this program.  If not, see <http://www.gnu.org/licenses/>.
  
  import Arduino.Uno
  
  main = compileProgram $ do
  
      digitalOutput pin13 =: clock ~> toggle
  
      uart =: timerDelta ~> mapSMany formatDelta ~> flattenS
  
  formatDelta :: Expression Arduino.Uno.Word -> [Expression [Byte]]
  formatDelta delta = [ formatString "delta: "
                      , formatNumber delta
                      , formatString "\r\n"
                      ]
  