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.20	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.19	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.18	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.17	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.16	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.15	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.14	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.13	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.12	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.11	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.10	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.9	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.8	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.7	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.6	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.5	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.4	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.3	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.2	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.1	tracks/idris/exercises/hello-world/src/example.idr