munro/01_main.idr

## 01_main.idr
module Main

import meow

foo : Float
foo = 0.123

hello : Float -- can switch to Float/Int to use the correct one
hello = foo

main : IO ()
main = do
    putStrLn "Hello world"
    putStrLn $ show hello

## 02_meow.idr
module meow

foo : Int
foo = 123
	module Main

	import meow

	foo : Float
	foo = 0.123

	hello : Float -- can switch to Float/Int to use the correct one
	hello = foo

	main : IO ()
	main = do
	putStrLn "Hello world"
	putStrLn $ show hello