-- This file:
--   http://angg.twu.net/IDRIS/brady/02/AveMain.idr.html
--   http://angg.twu.net/IDRIS/brady/02/AveMain.idr
--           (find-angg "IDRIS/brady/02/AveMain.idr")
-- See:      (find-angg "IDRIS/brady/02/Average.idr")
--
-- (find-es "idris" "bradytdd")
-- (find-books "__comp/__comp.el" "brady")
-- (find-bradytddpage (+ 26  19)  "1.4.3      Compiling and running Idris programs")
-- (find-bradytddtext (+ 26  19)  "1.4.3      Compiling and running Idris programs")
-- (find-bradytddfile "Chapter2/")
-- (find-bradytddfile "Chapter2/AveMain.idr")

module Main

import Average

showAverage : String -> String
showAverage str = "The average word length is: " ++
                  show (average str) ++ "\n"

main : IO ()
main = repl "Enter a string: " showAverage

{-
* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
idris AveMain
main
:exec
  Hello world!!



idris AveMain.idr -o AveMain
./AveMain
  Hello world!!
  Hello, Idris World


-}