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.80	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.79	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.78	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.77	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.76	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.75	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.74	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.73	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.72	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.71	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.70	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.69	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.68	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.67	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.66	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.65	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.64	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.63	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.62	tracks/idris/exercises/hello-world/src/example.idr
trackler-2.2.1.61	tracks/idris/exercises/hello-world/src/example.idr