-- examples in "Type-Driven Development with Idris"
-- chapter 15

-- check that all functions are total
%default total

--
-- section 15.1
-- see AdderChannel.idr
--

--
-- section 15.2
-- see Process.idr
-- see ProcessLoop.idr
-- see ProcessState.idr
-- see ProcessInterface.idr
-- see ProcessLib.idr and ListProc.idr
--
