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.40	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.39	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.38	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.37	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.36	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.35	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.34	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.33	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.32	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.31	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.30	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.29	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.28	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.27	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.26	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.25	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.24	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.23	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.22	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.21	tracks/idris/exercises/hello-world/src/example.idr