Contents

module HelloWorld

export
greet : Maybe String -> String
greet subject = "Hello, " ++ fromMaybe "World" subject ++ "!"

Version data entries

221 entries across 221 versions & 1 rubygems

Version	Path
trackler-2.2.1.60	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.59	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.58	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.57	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.56	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.55	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.54	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.53	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.52	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.51	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.50	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.49	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.48	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.47	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.46	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.45	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.44	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.43	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.42	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.41	tracks/idris/exercises/hello-world/src/example.idr