Contents

module HelloWorld

export
hello : String
hello = "Hello, World!"

export
version : String
version = "1.0.0"

Version data entries

78 entries across 78 versions & 1 rubygems

Version	Path
trackler-2.2.1.159	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.158	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.157	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.156	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.155	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.154	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.153	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.152	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.151	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.150	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.149	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.148	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.147	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.146	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.145	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.144	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.143	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.142	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.141	tracks/idris/exercises/hello-world/src/Example.idr
trackler-2.2.1.140	tracks/idris/exercises/hello-world/src/Example.idr