Kiwi

{-# LANGUAGE RebindableSyntax #-}

import Copilot.Arduino.Uno
import qualified Copilot.Arduino.Library.EEPROMex as EEPROM
import qualified Copilot.Arduino.Library.Serial as Serial
import System.Posix.Env
import qualified Prelude

main :: IO ()
main = do

Kiwi

  hardware.deviceTree.overlays = [
    { name = "spi"; dtsFile = "${./dt/spi.dts}"; }
    { name = "pps"; 
      dtsText = ''
        /dts-v1/;
        /plugin/;
        
        / {
                compatible = "raspberrypi";
                fragment@0 {

Kiwi

#! /usr/bin/env cabal
{- cabal:
build-depends:
    , base ^>= 4.12
    , contravariant ^>= 1.5
-}

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications    #-}

Kiwi

cancelUnit ::
  Iso (a, ()) (b, ()) a b
cancelUnit =
  iso
    (\(a, ()) -> a)
    (\b -> (b, ()))

cancelVoid ::
  Iso (Either a Void) (Either b Void) a b

Kiwi

#!/usr/bin/python2.4
#
# Copyright 2007 Google Inc. All Rights Reserved.
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
#     http://www.apache.org/licenses/LICENSE-2.0
#